sile / erlls

Related projects: ⓘ

• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆12Updated last year
• faber-lang / faber
  functional programming language and its compiler
  ☆18Updated 4 years ago
• sile / nowasm
  No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust
  ☆39Updated 2 months ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• hayatoito / site
  ☆12Updated last month
• qnighy / logic-solver-rs
  ☆44Updated last year
• dwango / fialyzer
  [WIP] Faster Implementation of Dialyzer
  ☆56Updated 5 months ago
• qnighy / umo
  A programming language (WIP)
  ☆29Updated 3 months ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 8 months ago
• hhatto / cargo-strict
  avoid unwrap() method
  ☆19Updated 9 months ago
• qnighy / rbbardiche
  Ruby parser and LSP in Rust
  ☆19Updated 2 years ago
• KeenS / whitelie
  A self hosted whitespace compiler
  ☆32Updated 4 years ago
• utam0k / rjvm
  Toy JVM is written in Rust
  ☆13Updated 3 years ago
• igrep / typesafe-precure
  Type-safe transformations and purifications of PreCures (Japanese battle heroine)
  ☆21Updated 2 months ago
• szktty / starlight
  [WIP] Yet another Erlang implementation in Rust
  ☆33Updated 5 years ago
• maekawatoshiki / eb
  Eb is a embeddable scripting programming language written in Rust
  ☆18Updated 3 years ago
• KeenS / chema
  generate JSON Schema from a lightweight DSL
  ☆11Updated 2 years ago
• gfngfn / game_tianjiupai
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆15Updated 11 months ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 6 months ago
• hayatoito / tapl-in-rust
  ☆23Updated 7 years ago
• ein-lang / ein
  The functional programming language for scalable development
  ☆34Updated last year
• unnohideyuki / bunny
  Haskell x Android
  ☆24Updated 2 years ago
• smorimoto / re-tree
  A minimal Unix tree command implementation written in pure Native Reason
  ☆10Updated 2 months ago
• pocarist / hminfer-rust
  ☆11Updated 6 years ago
• smlsharp / mlpractice-book
  Supplemental materials for the book entitled "Practical ML Programming with SML#"
  ☆10Updated 3 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 3 years ago
• e-bigmoon / haskell-blog
  ☆14Updated 3 years ago
• hatoo / kiro
  A minimal text editor in Rust
  ☆31Updated 5 years ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 3 years ago
• nkon / ked-texteditor
  simple text editor using rust language.
  ☆13Updated 4 years ago