ethanhe42/c0-compiler 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

ethanhe42/c0-compiler

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/ethanhe42/c0-compiler)

Close

ethanhe42 / c0-compilerView on GitHubMore

• External links
• Readme badge

c0 compiler with lex and yacc in C

☆14Feb 9, 2022Updated 4 years ago

Alternatives and similar repositories for c0-compiler

Users that are interested in c0-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated 4 months ago
• twlz0ne / playonline.el

  View on GitHub
  Play code with online playgrounds
  ☆13Mar 22, 2020Updated 6 years ago
• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 years ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• fare / lil-ilc2012

  View on GitHub
  LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012
  ☆22Oct 14, 2023Updated 2 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• fxdpntthm / type-checker

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 4 years ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Apr 14, 2026Updated last month
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Apr 3, 2026Updated last month
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆16Jun 26, 2019Updated 6 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• agda / agda-stdlib-meta

  View on GitHub
  Meta-programming utilities for Agda.
  ☆20Updated this week
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 5 months ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 2 years ago
• wangying2016 / ECharts-In-Soui

  View on GitHub
  这是我探索在 Soui 中使用 MiniBlink 支持百度 ECharts 开源可视化库显示的实验代码
  ☆10Mar 26, 2018Updated 8 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Apr 13, 2026Updated last month
• lexi-lambda / racket-multimethod

  View on GitHub
  Proof-of-concept, mostly safe multimethods in Racket
  ☆12Sep 9, 2020Updated 5 years ago
• cloudwu / dfont

  View on GitHub
  Manage texture for Chinese character rendering.
  ☆44Aug 10, 2013Updated 12 years ago
• Firebrand / css-to-scss

  View on GitHub
  Will tidy your sass and scss
  ☆12Jul 12, 2018Updated 7 years ago
• asciidisco / Backbone.Chosen

  View on GitHub
  One Collection, different models, mapped easy via configuration
  ☆48Oct 17, 2014Updated 11 years ago
• racket / swindle

  View on GitHub
  ☆12Feb 21, 2026Updated 3 months ago
• rootmos / libpquv

  View on GitHub
  A small library combining libpq and libuv
  ☆10Dec 22, 2022Updated 3 years ago
• basiliscos / lua-xpath

  View on GitHub
  Lua XPath resurrection
  ☆14Jul 12, 2024Updated last year
• rohitjoshi / lua-mapreduce

  View on GitHub
  Map Reduce implemented in Lua
  ☆23May 19, 2017Updated 9 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• stoeffel / haskell-simple-dsl-examples

  View on GitHub
  Simple examples on how to implement a DSL in Haskell.
  ☆19Nov 6, 2019Updated 6 years ago
• frodenas / grafana_exporter

  View on GitHub
  Grafana Prometheus exporter
  ☆10Oct 17, 2017Updated 8 years ago
• mongoose-os-libs / rpc-mqtt

  View on GitHub
  Implementation of Mongoose OS RPC over MQTT protocol
  ☆13Oct 21, 2022Updated 3 years ago
• strazzere / dalvik-header-plugin

  View on GitHub
  Dalvik Header Plugin for IDA Pro
  ☆23Jan 22, 2013Updated 13 years ago
• sinelaw / hmf

  View on GitHub
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆18Apr 25, 2016Updated 10 years ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• cheusov / lua-alt-getopt

  View on GitHub
  Lua API for getopt similar to getopt_long(3)
  ☆16Dec 18, 2022Updated 3 years ago
• racket / 2d

  View on GitHub
  2d syntax
  ☆20Feb 21, 2026Updated 3 months ago
• meck / alfred-hoogle

  View on GitHub
  Search Hoogle with Alfred
  ☆21Nov 20, 2019Updated 6 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• codeforseoul / FdAS

  View on GitHub
  코드포서울 노고팀의 시민편의 프로젝트입니다. Service about welfare of Seoul city, collecting various data and providing welfare services of one's own need, n…
  ☆12Oct 29, 2015Updated 10 years ago
• legoscia / cabledolphin

  View on GitHub
  Capture network traffic from Emacs Lisp programs into PCAPNG files
  ☆17Feb 4, 2016Updated 10 years ago
• closeio / backbone.mousetrap

  View on GitHub
  A better integration of Backbone.js and Mousetrap keyboard event bindings
  ☆58Feb 17, 2017Updated 9 years ago
• plclub / cis6700-23sp

  View on GitHub
  CIS 6700, Spring 2023
  ☆19Feb 15, 2023Updated 3 years ago
• vim-scripts / highlight.vim

  View on GitHub
  Highlight lines or patterns of interest in different colors
  ☆14Apr 14, 2011Updated 15 years ago
• ershov / pycdump

  View on GitHub
  Dump/disassemble python PYC files
  ☆10Mar 16, 2015Updated 11 years ago
• JoeyEremondi / pl-lt-rules

  View on GitHub
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Feb 18, 2025Updated last year