unison-code / unisonLinks
Unison's source code
☆108Updated last year
Alternatives and similar repositories for unison
Users that are interested in unison are comparing it to the libraries listed below
Sorting:
- ☆90Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Symbolic formula representation and solver interaction library☆169Updated last week
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- The Higher-Order Intermediate Representation☆161Updated this week
- LVC verified compiler☆58Updated 6 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- MimIR is my Intermediate Representation☆80Updated this week
- ☆83Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- Datalog with support for SMT queries and first-order functional programming☆164Updated this week
- CN separation logic refinement type system for C☆38Updated this week
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- A static verifier for concurrent C programs☆136Updated 4 years ago
- GoNative project: formal machines models in Coq☆36Updated 8 years ago
- Parser for the llvm bitcode format☆59Updated last week
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 3 months ago
- SSA vs ANF☆43Updated 10 years ago
- Attribute grammar Based Language Extensions for C☆41Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated 2 weeks ago
- A compiler for functional programs on serialized data☆172Updated last week
- ☆71Updated this week
- ALLVM Tools☆56Updated 3 years ago
- ☆89Updated 3 years ago
- microsat☆137Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Gallina to Bedrock2 compilation toolkit☆61Updated 2 weeks ago