kseo / secd

Related projects ⓘ

Alternatives and complementary repositories for secd

• deech / LeftPad
  ☆23Updated 6 years ago
• lexi-lambda / racket-higher-rank
  ☆21Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 5 months ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• racket / parser-tools
  ☆11Updated last week
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 11 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 weeks ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 5 months ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆47Updated 12 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆15Updated last month