kangp3 / phone

Related projects ⓘ

Alternatives and complementary repositories for phone

• ocaml-wasm / wasm_of_ocaml
  ☆247Updated this week
• ocaml-multicore / eio
  Effects-based direct-style IO for multicore OCaml
  ☆559Updated last week
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆189Updated this week
• mulias / possum_parser_language
  A tiny text parsing language
  ☆21Updated this week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆213Updated 3 weeks ago
• joachimbbp / spritefire
  🔥 Spritefire is a simple graphics program which converts images and videos into mosaics of many tiny images.
  ☆13Updated 6 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆97Updated last month
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆267Updated 2 months ago
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆848Updated this week
• cfallin / weval
  ☆172Updated last month
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆803Updated this week
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆593Updated 4 months ago
• leostera / minttea
  A fun little TUI framework for OCaml
  ☆364Updated 2 months ago
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆366Updated 2 weeks ago
• zshipko / ocaml-rs
  OCaml extensions in Rust
  ☆259Updated 2 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆203Updated this week
• s-arash / ascent
  Logic programming in Rust
  ☆413Updated last week
• reedspool / rcverse
  ☆13Updated last month
• titzer / wizard-engine
  Research WebAssembly Engine
  ☆380Updated this week
• dada-lang / dada
  I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…
  ☆444Updated 7 months ago
• riot-ml / riot
  An actor-model multi-core scheduler for OCaml 5 🐫
  ☆575Updated last week
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆376Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆286Updated last month
• JasonSteving99 / claro-lang
  Claro Lang
  ☆138Updated 6 months ago
• SaberVM / SaberVM
  ☆197Updated 4 months ago
• judofyr / spice
  Fine-grained parallelism with sub-nanosecond overhead in Zig
  ☆748Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆393Updated last week
• azdavis / millet
  A language server for Standard ML.
  ☆219Updated 2 months ago
• sminez / ad
  an adaptable text editor
  ☆263Updated this week