PA-CLUB / PA-CLUB.github.io

Related projects: ⓘ

• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆68Updated 9 years ago
• MarisaKirisame / reading-note
  ☆13Updated this week
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• xn--21Erlang-p00o82pmp3o / book
  ☆39Updated this week
• MarisaKirisame / algebraic_data_type
  ☆19Updated 8 years ago
• IUCompilerCourse / support-code-for-students
  ☆34Updated this week
• bhuztez / lisp0
  ☆74Updated this week
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 6 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 9 years ago
• MarisaKirisame / SFCT
  ☆85Updated this week
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆31Updated 9 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆10Updated 5 years ago
• totalscript / totalscript
  ☆33Updated this week
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• TerrorJack / language-webassembly
  ☆11Updated this week
• MarisaKirisame / bookmarks
  ☆46Updated this week
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆102Updated 7 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 7 years ago
• MarisaKirisame / CompilingCombinator
  Code for my blog
  ☆12Updated 7 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 8 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 6 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 7 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆108Updated 8 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 7 years ago
• neutronest / vortex
  a Haskell implementation of Deep Learning frameworks.
  ☆12Updated 8 years ago
• tioover / ika
  Lisp interpreter
  ☆11Updated 9 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• yjwen / haskell_essays
  My notes of learning Haskell.
  ☆9Updated 4 years ago