MarisaKirisame/CompilingCombinator 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

MarisaKirisame/CompilingCombinator

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/MarisaKirisame/CompilingCombinator)

Close

MarisaKirisame / CompilingCombinatorView on GitHubMore

• External links
• Readme badge

Code for my blog

☆11Feb 26, 2017Updated 9 years ago

Alternatives and similar repositories for CompilingCombinator

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

• MislankaNova / geo

  View on GitHub
  Procedural terrain generator.
  ☆10Jan 28, 2018Updated 8 years ago
• Gertjan423 / KHC

  View on GitHub
  KU Leuven Haskell Compiler
  ☆15Aug 16, 2021Updated 4 years ago
• be5invis / your-type

  View on GitHub
  ☆25Dec 13, 2016Updated 9 years ago
• MarisaKirisame / algebraic_data_type

  View on GitHub
  ☆19Oct 13, 2015Updated 10 years ago
• tioover / ika

  View on GitHub
  Lisp interpreter
  ☆10Jan 8, 2015Updated 11 years ago
• winterland1989 / unboxed-ref

  View on GitHub
  Fast unboxed references for ST and IO monad
  ☆15Jul 17, 2017Updated 8 years ago
• ekmett / speculation

  View on GitHub
  Safe, programmable, speculative evaluation for Haskell
  ☆29Oct 22, 2018Updated 7 years ago
• clerkma / lianliankan

  View on GitHub
  ☆16Dec 17, 2024Updated last year
• sxysxy / XYGui

  View on GitHub
  A set of Gui tools for ruby. My first gem....
  ☆16May 26, 2017Updated 8 years ago
• bollu / coremlir

  View on GitHub
  Encoding of GHC Core inside MLIR
  ☆19Nov 12, 2020Updated 5 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• haskell-openal / ALUT

  View on GitHub
  A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…
  ☆15Aug 2, 2023Updated 2 years ago
• caryll / editor

  View on GitHub
  Caryll font editor
  ☆20Feb 3, 2016Updated 10 years ago
• winterland1989 / binary-parsers

  View on GitHub
  Extends binary with parsec/attoparsec style parsing combinators
  ☆26Feb 2, 2022Updated 4 years ago
• arthurpaulino / LeanMySQL

  View on GitHub
  A MySQL API for Lean 4
  ☆20Mar 11, 2022Updated 4 years ago
• MarisaKirisame / lambda_calculus

  View on GitHub
  ☆14Oct 30, 2015Updated 10 years ago
• sxysxy / Taurix

  View on GitHub
  Taurix OS kernel. Taurix 系统内核，操作系统原理实(xjb)践(写)
  ☆12Dec 20, 2020Updated 5 years ago
• dramforever / config

  View on GitHub
  Random config (v2, clean history)
  ☆26Updated this week
• TerrorJack / erumpo

  View on GitHub
  Just a prototype, but will be improved soon.
  ☆22Jan 9, 2015Updated 11 years ago
• ekmett / parsers

  View on GitHub
  Generic parser combinators
  ☆90Mar 3, 2025Updated last year
• ThoughtWorksInc / DeepDarkFantasy

  View on GitHub
  A Programming Language for Deep Learning
  ☆462May 10, 2018Updated 7 years ago
• meistdan / prbvh

  View on GitHub
  ☆18Feb 19, 2018Updated 8 years ago
• qiao / r7rs.js

  View on GitHub
  R7RS compliant Scheme implementation in JavaScript (Work in Progress)
  ☆18Oct 22, 2015Updated 10 years ago
• sergei-mironov / mobile-nixos-cfg

  View on GitHub
  A personal MobileNixos adventure
  ☆23Sep 27, 2022Updated 3 years ago
• MarisaKirisame / first_order_logic_prover

  View on GitHub
  ☆60Feb 27, 2018Updated 8 years ago
• txus / fuby

  View on GitHub
  Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM
  ☆62Feb 13, 2014Updated 12 years ago
• lordmulder / libsndfile-MSVC

  View on GitHub
  MSVC port of libsndfile.
  ☆14Dec 20, 2018Updated 7 years ago
• sxysxy / NERTasks

  View on GitHub
  ☆12May 23, 2022Updated 3 years ago
• avigad / formal_methods_in_education

  View on GitHub
  A web page with resources for teaching with formal methods and tools.
  ☆14Apr 8, 2023Updated 2 years ago
• janestreet / ppx_here

  View on GitHub
  Expands [%here] into its location
  ☆14Jan 15, 2026Updated 2 months ago
• gaocegege / bachelor-paper-2016

  View on GitHub
  my bachelor's thesis in SJTU about https://github.com/caicloud/cyclone
  ☆12Jan 4, 2018Updated 8 years ago
• gmarpons / Crisp

  View on GitHub
  A Clang/LLVM add-on to enforce coding rules
  ☆33Nov 15, 2013Updated 12 years ago
• xunkai55 / pili3000

  View on GitHub
  A python command line tool helping memorizing GRE vocabulary.
  ☆24Sep 18, 2015Updated 10 years ago
• RGSS3 / Angen

  View on GitHub
  Ange for Another Generator.
  ☆13Mar 26, 2016Updated 9 years ago
• gergoerdi / alef

  View on GitHub
  Alef Lazily Evaluates Functions
  ☆32Mar 10, 2013Updated 13 years ago
• gitrpg / GitRPG

  View on GitHub
  RPG
  ☆17Oct 9, 2017Updated 8 years ago
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• dramforever / vscode-ghc-simple

  View on GitHub
  Simple GHC (Haskell) integration for VSCode
  ☆227Jun 23, 2024Updated last year
• ezyang / compact

  View on GitHub
  Compact regions library for Haskell
  ☆82Jul 2, 2024Updated last year