Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by Chaarlesss

A curated list of projects in awesome lists by Chaarlesss .

https://github.com/chaarlesss/verified-static-analyzer

A small & simple WIP verified static analyzer

Last synced: 09 Dec 2024

https://github.com/chaarlesss/lipgloss

Style definitions for nice terminal layouts in OCaml 👄

ocaml

Last synced: 25 Nov 2024

https://github.com/chaarlesss/chasa

A simple language modular static analyzer based on abstract interpretation

abstract-interpretation static-analysis

Last synced: 09 Dec 2024