harmonylang / harmonyLinks
A Python-like programming language for testing and experimenting with concurrent programs.
☆23Updated last week
Alternatives and similar repositories for harmony
Users that are interested in harmony are comparing it to the libraries listed below
Sorting:
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 7 months ago
- vertical + gpu + free join + datalog☆20Updated 5 months ago
- embedding MLIR in LEAN☆47Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- The Shine compiler for the RISE language☆83Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last month
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 9 months ago
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- The Cubicle model checker☆14Updated last year
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 6 months ago
- A notebook on compilers, programming languages, and other topics.☆16Updated 4 months ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Slog 1.0☆43Updated last year
- CN separation logic refinement type system for C☆23Updated last week
- simple snapshot-style integration testing for commands☆71Updated last month
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- library learning w egraphs☆20Updated 2 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- benchmarking e-graph extraction☆47Updated last month
- ☆27Updated 2 months ago
- Quantum circuits compiler with staging and continuations☆17Updated 7 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Programming Languages Grammar House (BNF like grammars)☆29Updated last week
- Program logic for developing and verifying distributed systems☆34Updated this week
- A language built atop the Sparse Synchronous Model☆18Updated last year
- MimIR is my Intermediate Representation☆69Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆45Updated last month