kitsuneninetails / rust-effects

Related projects: ⓘ

• griba2001 / rust-monadic
  Macro to use rust IntoIterator as a monad with haskell like syntax
  ☆24Updated 4 years ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆54Updated 2 years ago
• algermissen / rustz
  Rustz is a library for functional programming in Rust
  ☆81Updated 6 years ago
• politrons / FunctionalRust
  ☆90Updated this week
• golemcloud / golem-wasm-ast
  Higher level WASM library for Rust
  ☆8Updated last month
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆35Updated 3 years ago
• sideeffffect / scala-rust-interop
  ☆32Updated 3 months ago
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• lenguyenthanh / compilers
  A place for me to learn/ experiment with interpreters/compilers
  ☆12Updated last week
• j5ik2o / rust-fp
  The Library for Functional Programming in Rust
  ☆13Updated 9 months ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated this week
• earldouglas / linear-scala
  Linear types in Scala
  ☆40Updated 3 weeks ago
• lyphyser / deptypes
  ☆14Updated 6 months ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆37Updated 2 months ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated last month
• nilehmann / liquid-rust
  ☆38Updated 2 years ago
• fatho / logru
  Log(ic) programming in Ru(st).
  ☆14Updated 5 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated last year
• melvic-ybanez / dry
  A high-level programming language written in Scala
  ☆34Updated 9 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆52Updated last year
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆20Updated last month
• propensive / fury
  A build tool for Scala
  ☆27Updated this week
• unisoncomputing / share-api
  Unison Share's backend server
  ☆23Updated last week
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last week
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆45Updated 2 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• tanishiking / scala-wasm
  Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988
  ☆40Updated 3 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆40Updated 8 years ago
• njaremko / purescript-deno
  ☆26Updated 2 years ago