Popular repositories Loading

1. phi-autonomous phi-autonomous Public

   Self-evolving daemon that grows Phi language specs. The grammar IS the implementation.

   C++ 3

2. mlir-standalone-template mlir-standalone-template Public

   Forked from jmgorius/mlir-standalone-template

   An out-of-tree MLIR dialect template.

   CMake

3. roc roc Public

   Forked from roc-lang/roc

   A fast, friendly, functional language. Work in progress!

   Rust

4. mojo mojo Public

   Forked from modular/modular

   The Mojo Programming Language

   Jupyter Notebook

5. hazel hazel Public

   Forked from hazelgrove/hazel

   Hazel, a live functional programming environment with typed holes

   OCaml

6. smyth smyth Public

   Forked from UChicago-PL/smyth

   Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

   OCaml