Alternatives and similar repositories for functional-programming

Users that are interested in functional-programming are comparing it to the libraries listed below

• scmlab / gcl
  backend of Guabao
  ☆13Updated last year
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 9 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 11 months ago
• YuRen-tw / rime-taigi-tps
  Taigi-TPS 台語方音輸入法（基於 RIME 引擎）
  ☆27Updated 4 years ago
• dannypsnl / sauron
  A DrRacket plugin to make it experience like an IDE
  ☆48Updated last week
• KonjacSource / ShiTT
  Deprecated
  ☆39Updated 2 months ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last year
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 9 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 3 years ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆95Updated 3 years ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated 2 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆30Updated 3 years ago
• moonbitlang / quickcheck
  Automatic testing of MoonBit programs
  ☆28Updated last week
• agda-web / agda-wasm-dist
  Distributions of Agda executable compiled into WebAssembly.
  ☆24Updated 2 months ago
• CQD / xkcd.tw
  xkcd 的繁體中文翻譯
  ☆35Updated 8 months ago
• YuRen-tw / textRevealer
  Display your text
  ☆39Updated 9 months ago
• rami3l / yascm
  Yet another Scheme interpreter.
  ☆11Updated 3 years ago
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Updated 3 years ago
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆22Updated 2 months ago
• whyjz / rime-moetaigi
  萌台語：基於萌典 API 的 RIME 臺語輸入法，使用注音符號輕鬆輸入台語。
  ☆56Updated 3 years ago
• mutix-co / covid19
  因應 COVID-19 防疫新生活運動實施實聯制措施，提供確保隱私的服務
  ☆50Updated 4 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆48Updated 6 months ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 11 months ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆126Updated 3 weeks ago
• g0v / wardns
  戰時網路模擬器
  ☆16Updated 2 years ago
• dannypsnl / k
  k theorem prover
  ☆11Updated 3 years ago