disconcision / spyshare

Related projects ⓘ

Alternatives and complementary repositories for spyshare

• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆17Updated 5 years ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 6 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 5 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 6 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• deech / shen-rust
  ☆34Updated 5 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated last year
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 2 months ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago