ice1000/CompilerWorks 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

ice1000/CompilerWorks

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/ice1000/CompilerWorks)

Close

ice1000 / CompilerWorksView on GitHubMore

• External links
• Readme badge

编译原理相关的工作岗位收集

☆88Sep 10, 2018Updated 7 years ago

Alternatives and similar repositories for CompilerWorks

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

• SchrodingerZhu / memcpy-amd64

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

  View on GitHub
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Feb 27, 2020Updated 6 years ago
• ylxdzsw / mo-generator

  View on GitHub
  有针对性地表达自己的崇敬之心
  ☆37May 12, 2017Updated 8 years ago
• ice1000 / text-sequence

  View on GitHub
  Text sequence data structures
  ☆16May 8, 2020Updated 5 years ago
• liiir1985 / CLRGC4IL2CPP

  View on GitHub
  CLR GC implementation for il2cpp
  ☆18Dec 14, 2017Updated 8 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• ice1000 / Books

  View on GitHub
  My slides and notes
  ☆140May 31, 2023Updated 2 years ago
• owo-lang / MLPolyR

  View on GitHub
  The MLPolyR programming language, revived
  ☆25Oct 15, 2020Updated 5 years ago
• Xython / YAPyPy

  View on GitHub
  Yet another Python Python
  ☆91Dec 5, 2018Updated 7 years ago
• akemimadoka / Reflection

  View on GitHub
  ☆19Dec 25, 2017Updated 8 years ago
• owo-lang / OwO

  View on GitHub
  Placeholder for the OwO compiler
  ☆60Feb 20, 2019Updated 7 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• 9chu / parser_gen

  View on GitHub
  A LR(1) parser generator targeting C++17.
  ☆13Jul 8, 2020Updated 5 years ago
• MarisaKirisame / MemoryBalancer

  View on GitHub
  ☆23Apr 28, 2023Updated 2 years ago
• heetbeet / TryCatch.jl

  View on GitHub
  A module for some additional try catch semantics in Julia
  ☆15Apr 19, 2022Updated 3 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• ispras / v8-aotc

  View on GitHub
  V8 ahead-of-time compilation project
  ☆15Oct 23, 2022Updated 3 years ago
• be5invis / idris-dict

  View on GitHub
  A Dict k v in Idris
  ☆15Dec 15, 2020Updated 5 years ago
• koksal / tps

  View on GitHub
  Temporal Pathway Synthesizer
  ☆17Jun 28, 2024Updated last year
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 9 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN

  View on GitHub
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆11Oct 30, 2018Updated 7 years ago
• lynzrand / chigusa

  View on GitHub
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Jun 1, 2020Updated 5 years ago
• lice-lang / lice

  View on GitHub
  A multi-paradigm programming language running on JVM
  ☆129May 11, 2018Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• ganler / memcov

  View on GitHub
  Collect simple coverage information in memory.
  ☆11Oct 6, 2022Updated 3 years ago
• mu-opensource / ndk-cameras-cmdline

  View on GitHub
  Command line tools to operate Android cameras via
  ☆14Oct 24, 2020Updated 5 years ago
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• marcelosousa / descartes

  View on GitHub
  descartes: the cartesian hoare logic prover
  ☆12Feb 23, 2017Updated 9 years ago
• AirGuanZ / cuj

  View on GitHub
  Runtime program generator embedded in C++
  ☆30Jun 15, 2022Updated 3 years ago
• moonbitlang / minimoonbit-public

  View on GitHub
  ☆62Jun 5, 2025Updated 8 months ago
• ice1000 / dev-kt

  View on GitHub
  Single file Kotlin/Java IDE features in lightweight.
  ☆95Dec 19, 2020Updated 5 years ago
• gregr / first-order-miniKanren

  View on GitHub
  miniKanren with a first-order representation of the search space
  ☆17Jul 23, 2024Updated last year
• sstucki / f-omega-int-agda

  View on GitHub
  F-omega with interval kinds mechanized in Agda
  ☆14Aug 1, 2024Updated last year
• Gertjan423 / KHC

  View on GitHub
  KU Leuven Haskell Compiler
  ☆15Aug 16, 2021Updated 4 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆348Feb 22, 2026Updated last week
• judy-vscode / Judy

  View on GitHub
  Just another Julia Debugger
  ☆14May 29, 2019Updated 6 years ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago