aripiprazole / trazodone

Related projects ⓘ

Alternatives and complementary repositories for trazodone

• VictorTaelin / Taelang
  my personal lang
  ☆15Updated 10 months ago
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆11Updated last year
• leostera / q-lang
  ☆14Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 10 months ago
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 9 months ago
• matteo-meluzzi / agda2hvm
  ☆13Updated last year
• steinerkelvin / rustie-ts
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆10Updated 6 months ago
• VictorTaelin / kind-ai
  ☆23Updated last year
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆14Updated 6 years ago
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 3 years ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆31Updated 2 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• mirage / irmin-rs
  ☆15Updated last year
• konfig-xyz / rust-reason-parser
  ☆10Updated 2 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• FStarLang / steel
  The Steel separation logic library for F*
  ☆31Updated 2 weeks ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 5 months ago
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆56Updated 8 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago