Alternatives and similar repositories for Programming-Languages:

Users that are interested in Programming-Languages are comparing it to the libraries listed below

• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆81Updated 7 years ago
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆11Updated 4 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 8 years ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆53Updated 3 years ago
• siriusdemon / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆24Updated 4 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 2 weeks ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆210Updated this week
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• Booob / P523
  P523 Code
  ☆28Updated 10 years ago
• Z-Shang / fpy
  Python module for composing computations
  ☆26Updated last year
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆146Updated last month
• re-xyr / hemerocallis
  ~ Fabricated replica.
  ☆10Updated 2 years ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• dfithian / dfdb
  Write my own database from scratch
  ☆15Updated 3 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• rami3l / yascm
  Yet another Scheme interpreter.
  ☆11Updated 2 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last month
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆13Updated 6 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• MaskRay / OJHaskell
  Some online judge solutions in Haskell
  ☆18Updated 8 years ago
• WeixiMa / C311Sp20
  ☆16Updated 4 years ago
• seckcoder / course-compiler
  Reference implementation for the Essentials of Compilation course
  ☆17Updated 8 years ago