HaskellGroup/community external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

HaskellGroup/community

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/HaskellGroup/community)

Close

HaskellGroup / communityView on GitHubMore

• External links
• Readme badge

Haskell Group Community >>= Haskell 中文社区。

☆16Mar 19, 2021Updated 4 years ago

Alternatives and similar repositories for community

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

• Idris-zh / Idris-dev

  View on GitHub
  用作文档目的，翻译方式见 Issue #10
  ☆41Apr 1, 2019Updated 6 years ago
• L-TChen / Type-Theory

  View on GitHub
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Jul 2, 2024Updated last year
• xieyuheng / cell-complex

  View on GitHub
  Libraries and tools for topological and geometric modeling.
  ☆17Mar 23, 2025Updated 11 months ago
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated last year
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Updated this week
• obsidiansystems / obelisk-oauth

  View on GitHub
  ☆12Feb 9, 2026Updated 2 weeks ago
• cgswords / rsc

  View on GitHub
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Jun 12, 2018Updated 7 years ago
• xhawk18 / type_string

  View on GitHub
  useless, just a c++ toy
  ☆10Dec 21, 2014Updated 11 years ago
• 12k-Tech-Group / 12k-Posts

  View on GitHub
  https://12k.tech
  ☆12Sep 6, 2020Updated 5 years ago
• haskell / array

  View on GitHub
  ☆15Feb 1, 2026Updated 3 weeks ago
• IbrahimFadel / flux

  View on GitHub
  A toy compiler made with LLVM
  ☆16Aug 30, 2024Updated last year
• samrat / rusl

  View on GitHub
  A toy Lisp compiler targeting x86-64
  ☆40Mar 10, 2020Updated 5 years ago
• kimhyunkang / r5.rs

  View on GitHub
  Scheme implementation written in Rust
  ☆35Jan 22, 2015Updated 11 years ago
• asaskevich / SmartCursor

  View on GitHub
  [Java] Useful Minecraft mod with cursor utilities
  ☆13Jan 30, 2015Updated 11 years ago
• tangrs / Nspire-Movie-Player

  View on GitHub
  ☆13Mar 17, 2012Updated 13 years ago
• xlisp / aliyun-oss-clj

  View on GitHub
  阿里云OSS的Clojure SDK封装
  ☆10Mar 28, 2020Updated 5 years ago
• OpenDiablo2 / MpqViewer

  View on GitHub
  Utility to view MPQ files as OpenDiablo2 sees them.
  ☆11Nov 12, 2019Updated 6 years ago
• haskell-distributed / distributed-process-supervisor

  View on GitHub
  Cloud Haskell Supervision Trees
  ☆11Sep 3, 2024Updated last year
• gaoxingliang / you-get

  View on GitHub
  Dumb downloader that scrapes the web
  ☆11Sep 3, 2024Updated last year
• wyyqyl / HookQQ

  View on GitHub
  Hook sendto to get the target IP address
  ☆10Apr 24, 2013Updated 12 years ago
• m-yac / agda-knots

  View on GitHub
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆15Oct 15, 2018Updated 7 years ago
• nicklambourne / crafting-a-compiler

  View on GitHub
  Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.
  ☆11Dec 1, 2019Updated 6 years ago
• notofonts / khitan-small-script

  View on GitHub
  Noto Khitan Small Script
  ☆13Jun 18, 2025Updated 8 months ago
• UlyssesWu / PSCopilot

  View on GitHub
  POwershell PredictOr POwered by coPilOt.
  ☆13Oct 14, 2025Updated 4 months ago
• koji-kojiro / igcc

  View on GitHub
  ☆10Aug 13, 2019Updated 6 years ago
• alex023 / eventbus

  View on GitHub
  supper pubsub framework based on asynchronous models. provide Topic filter, Fault isolation etc.
  ☆11Jun 3, 2017Updated 8 years ago
• shriram / plai-public

  View on GitHub
  Repository for (for now) filing bug reports about PLAI.
  ☆14Jul 5, 2025Updated 7 months ago
• negibokken / toyscopy

  View on GitHub
  A toy browser written in C++.
  ☆10Jan 9, 2021Updated 5 years ago
• webyrd / summer-scheming

  View on GitHub
  Summer Scheming!!!!!!
  ☆11Aug 20, 2020Updated 5 years ago
• leptonyu / odpic-raw

  View on GitHub
  Haskell raw bindings to Oracle ODPI-C Library
  ☆19Aug 14, 2022Updated 3 years ago
• ly0 / rua

  View on GitHub
  Rualang, a python like programming language.
  ☆10Dec 15, 2017Updated 8 years ago
• mrb / idris-ruby

  View on GitHub
  Yes, really!
  ☆11May 8, 2015Updated 10 years ago
• OCNYang / rust-tutorial

  View on GitHub
  个人学习中总结的 Rust 思维导图
  ☆10Feb 2, 2024Updated 2 years ago
• ymm135 / go-build

  View on GitHub
  go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go
  ☆12Feb 5, 2022Updated 4 years ago
• jeremycw / httpc

  View on GitHub
  A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.
  ☆11May 16, 2017Updated 8 years ago
• puxxustc / iosocks

  View on GitHub
  A lightweight tunnel proxy, just a toy
  ☆10Apr 6, 2015Updated 10 years ago
• SchrodingerZhu / memcpy-amd64

  View on GitHub
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Feb 7, 2022Updated 4 years ago
• LoicMahieu / PDFKitJS

  View on GitHub
  HTML+CSS to PDF in Node.JS
  ☆13Jul 31, 2017Updated 8 years ago
• haskell-nix / hnix-web-repl

  View on GitHub
  A REPL for nix expressions in your browser
  ☆13May 5, 2018Updated 7 years ago