true-grue

true-grue's Stars

• rui314/chibicc

  A small C compiler

  Language:C8.6k172100827

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k6191313

• rms-support-letter/rms-support-letter.github.io

  An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

  Language:Python2.3k521734.4k

• drh/lcc

  The lcc retargetable ANSI C compiler

  Language:C2k10432432

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.8k64277221

• tensorflow/mlir

  "Multi-Level Intermediate Representation" Compiler Infrastructure

  1.7k169138258

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1k41100225

• MLton/mlton

  The MLton repository

  Language:Standard ML92950173125

• nanopass/nanopass-framework-scheme

  The new nanopass framework; an embedded DSL for writing compilers in Scheme

  Language:Scheme480382554

• libfirm/libfirm

  graph based intermediate representation and backend for optimising compilers

  Language:C459281850

• wavedrom/bitfield

  :cake: bit field diagram renderer

  Language:JavaScript327103526

• SeaOfNodes/Simple

  A Simple showcase for the Sea-of-Nodes compiler IR

  Language:Java287291319

• instead-hub/instead

  INSTEAD - Simple Text Adventure Interpreter

  Language:C216154642

• AnyDSL/thorin

  The Higher-Order Intermediate Representation

  Language:C++151357915

• s-macke/starflight-reverse

  Reversed engineered game Starflight (1986)

  Language:C12219313

• xiw/mini-mc

  minimal symbolic model checker & fuzzer

  Language:Python1119123

• jackpal/Dandy-Dungeon

  A collection of implementations of a simple 2D dungeon crawling game

  Language:C#75818

• excelsior-oss/xds

  XDS Modula-2/Oberon-2 programing system.

  Language:Modula-26215517

• jmd1011/snek-LMS

  Implementation of Lightweight Modular Staging (LMS) in Python

  Language:Scala47924

• AnyDSL/thorin2

  The Higher ORder INtermediate representation - next gen

  Language:C++4412599

• alexanderk23/ayumi-js

  Highly precise emulation of AY-3-8910 and YM2149 sound chips: JavaScript implementation

  Language:JavaScript30307

• xldenis/besm

  Resurrecting PP-BESM

  Language:Haskell23503

• hugeping/rein

  minimal lua/sdl platform

  Language:C22503

• c3c-git/O-Python

  "O" programming language compiler written in Python

  Language:Python3

• fusiongyro/prolog-site

  Attempt at creating a unified site for my Prolog writings

  Language:Prolog20

• garrettsworkshop/ayumi-embedded

  ARMv7-M port of Ayumi AY-3-8910 sound chip emulator. Designed for Cortex-M7.

  Language:Assembly2

• dad3zero/trader

  Python version of Star Trader game written by Dave Kaufman

  Language:Python1

• wothke/webAyumi

  this project moved to bitbucket! WebAudio plugin of ayumi

  Language:JavaScript120