Alternatives and similar repositories for functional-programming

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

• caasi / coscup-2022-fp-frontend
  An example repo for COSCUP 2022
  ☆9Updated 2 years ago
• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 8 years ago
• scmlab / gcl
  backend of Guabao
  ☆13Updated 9 months ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated 11 months ago
• audreyt / archive.tw
  archive.tw
  ☆40Updated 2 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 2 years ago
• mutix-co / covid19
  因應 COVID-19 防疫新生活運動實施實聯制措施，提供確保隱私的服務
  ☆50Updated 4 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• CQD / xkcd.tw
  xkcd 的繁體中文翻譯
  ☆33Updated last month
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 4 months ago
• agda-web / agda-wasm-dist
  Distributions of Agda executable compiled into WebAssembly.
  ☆17Updated 3 months ago
• thautwarm / original-posting
  Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.
  ☆12Updated 2 years ago
• re-xyr / hemerocallis
  Resume (template) written in Typst
  ☆10Updated last month
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• g0v / wardns
  戰時網路模擬器
  ☆15Updated last year
• CindyLinz / Tutor-Haskell
  跟幾個朋友 study group 所用的教材
  ☆20Updated 9 years ago
• whyjz / rime-moetaigi
  萌台語：基於萌典 API 的 RIME 臺語輸入法，使用注音符號輕鬆輸入台語。
  ☆47Updated 2 years ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 4 months ago
• g0v / grants-landing-template
  landing page template for g0v grants awardee projects
  ☆14Updated 5 years ago
• re-xyr / hina
  Very simple, explicit parameters-only dependent type elaborator.
  ☆10Updated 4 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• dannypsnl / k
  k theorem prover
  ☆11Updated 2 years ago
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant. (This project will be rewritten soon)
  ☆34Updated 7 months ago
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Updated 3 years ago
• xuno8 / mygo-frontend
  ☆9Updated last year
• imrehg / taiwanmap
  Historical maps of Taiwan overlaid on current ones
  ☆18Updated 2 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆91Updated 3 years ago