evaporei / hisp

Related projects: ⓘ

• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 3 years ago
• HigherOrderCO / hvmcc
  ☆13Updated this week
• celsobonutti / milho
  The Haskell implementation of the Milho programming language.
  ☆29Updated last year
• dhilst / vlisp
  VimL lisp evaluator
  ☆10Updated 3 years ago
• renanroberto / whatsyourquestion-bot
  Telegram Bot
  ☆10Updated 3 years ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• moonad / agda-lib
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• robotlolita / cursed-aoc
  Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
  ☆13Updated 2 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆17Updated 5 years ago
• moonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• robotlolita / talks
  ☆24Updated this week
• gusbicalho / haskell-todo
  Toy todo-list service
  ☆15Updated 4 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆13Updated 6 years ago
• cuddlefishie / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 2 months ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• ktfth / rs-lisp
  ☆11Updated last year
• ryukinix / leraxandria
  A personal collection of functions, macros and programs written in Common Lisp
  ☆14Updated 5 years ago
• leostera / q-lang
  ☆14Updated last year
• takanuva / coc
  Calculus of Constructions
  ☆16Updated 5 years ago
• HigherOrderCO / Software-Foundations-In-Kind
  ☆16Updated this week
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆56Updated 7 months ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated last year
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 5 years ago
• HigherOrderCO / Functional-Benchmarks
  ☆29Updated this week
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆22Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆18Updated 4 months ago
• coproduto / purelisp
  Some day, a purely functional Lisp. Right now? Just a silly prototype.
  ☆15Updated 3 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• matteo-meluzzi / agda2hvm
  ☆13Updated last year