xiyuzhai-husky-lang / husky

Related projects ⓘ

Alternatives and complementary repositories for husky

• SchrodingerZhu / paguroidea
  A reimplementation of the Flap parser in Rust (with our own modifications applied)!
  ☆53Updated 7 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• egraphs-good / eggcc
  ☆52Updated this week
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆47Updated 3 months ago
• wusyong / elise
  A concurrent GC.
  ☆42Updated 2 years ago
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆86Updated 3 weeks ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated 7 months ago
• dimforge / wgmath
  GPU scientific computing on every platform
  ☆41Updated last week
• RustyBamboo / rust-grad
  Automatic differentiation in Rust with WGPU support
  ☆23Updated 3 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆13Updated 7 months ago
• WolframResearch / wstp-rs
  Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)
  ☆21Updated last year
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆14Updated 2 years ago
• softdevteam / libgc
  A library for garbage collection in Rust.
  ☆12Updated 3 years ago
• google / rust-deadlock-avoidance
  ☆42Updated last year
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆25Updated 3 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆56Updated 11 months ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 2 weeks ago
• PsiACE / bitsvec
  A bit vector with the Rust standard library's portable SIMD API.
  ☆38Updated last year
• sap-lang / sap-lang
  Next-GEN Confguration Template Generation Language
  ☆12Updated 2 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆40Updated last year
• LemonHX / ioring-rs
  ioring wrapper for windows-rs
  ☆21Updated 2 years ago
• Laythe-lang / Laythe
  A gradually typed language originally based on the crafting interpreters series
  ☆65Updated last week
• flyfish30 / zig-cats
  A category and functional programing library for Zig language
  ☆23Updated this week
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆89Updated 3 months ago
• femtomc / mlir-sys
  Rust bindings to the MLIR C API.
  ☆59Updated 2 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 weeks ago
• JakkuSakura / SHLL
  An experiment of high level code optimization
  ☆28Updated 2 weeks ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago