Alternatives and similar repositories for HaScheme:

Users that are interested in HaScheme are comparing it to the libraries listed below

• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated last year
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆16Updated 2 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆42Updated 4 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 4 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆53Updated this week
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• MIT-DB-Class / simpleKV
  A simple Disk-based Key-Value Store
  ☆13Updated 6 years ago
• re-xyr / hina
  ~ Fragile apparatus of naive wonderland.
  ☆10Updated 3 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• samrat / rust-linhash
  On-disk hashtable using linear hashing
  ☆10Updated 7 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• PiPaSay / pingcap-open-jobs
  We are hiring! Let’s shape the future of database, together!
  ☆15Updated 3 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆59Updated 5 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 4 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 3 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• dragonly / HasCraft
  A Minecraft demo in Haskell ;)
  ☆12Updated 8 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆13Updated 12 years ago
• lesguillemets / sicp-haskell
  SICP in haskell, both exercises and sample codes.
  ☆10Updated 8 years ago
• brownplt / cs173-python
  Python framework code for cs173/fall 2012
  ☆16Updated 12 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated last year
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 11 years ago