8l's repositories

qbe

A Quick Backend

Language:CLicense:MITStargazers:281Issues:7Issues:2

cc500

CC500: a tiny self-hosting C compiler

Language:CLicense:GPL-2.0Stargazers:149Issues:8Issues:0

bcpl

BCPL is a simple typeless language that was designed in 1966 by Martin Richards

miniPicoLisp

A kind of "pure" PicoLisp (not "pure Lisp"!).

Language:CLicense:NOASSERTIONStargazers:13Issues:2Issues:0

pilos

PilOS - A Stand-Alone Operating System

Language:PicoLispLicense:NOASSERTIONStargazers:12Issues:2Issues:0

vlink

A portable linker for multiple file formats.

tinywm

tinywm 8l fork version

Language:C++License:ZlibStargazers:5Issues:3Issues:0

anydsl

Meta project to quickly build dependencies

Language:ShellLicense:GPL-3.0Stargazers:1Issues:2Issues:0
Language:AssemblyStargazers:1Issues:2Issues:0

b0-0.0.19

b0 version 0.0.19

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0
Language:C++License:NOASSERTIONStargazers:1Issues:4Issues:0

binaryen

Compiler infrastructure and toolchain library for WebAssembly, in C++

Language:JavaScriptStargazers:0Issues:3Issues:0

Brain-Flak

A minimalist esolang designed to be painful to use

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

c2goasm

C to Go Assembly

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

calc.asm

Minimal arithmetic calculator in x86 assembly

Language:AssemblyLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

ChrysaLisp

Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...

Language:C++License:GPL-2.0Stargazers:0Issues:2Issues:0

firefox_alpine

firefox nightly for alpine linux

Language:ShellStargazers:0Issues:2Issues:0

flower

maru,seq.asm

Language:Common LispStargazers:0Issues:2Issues:0

funtal

FunTAL: mixing a functional language with assembly.

Language:JavaScriptLicense:ISCStargazers:0Issues:2Issues:0

impala

An imperative and functional programming language.

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

lambda-compiler

A simple compiler from the lambda calculus to MIPS assembly

Language:RacketStargazers:0Issues:2Issues:0

llvm

llvm musl

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mrustc

Alternative rust compiler (re-implementation)

Language:C++License:MITStargazers:0Issues:2Issues:0

nEXT

nEXT - The fastest productivity web-browser.

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:2Issues:0

openqasm

Gate and operation specification for quantum circuits

Language:TeXLicense:Apache-2.0Stargazers:0Issues:2Issues:0

reco-check

Check Go code for compatibility with Reconfigure.io's compiler

Language:GoLicense:NOASSERTIONStargazers:0Issues:2Issues:0

spatial-lang

Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"

Language:VerilogStargazers:0Issues:2Issues:0

tuplex

The Tuplex programming language tools.

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

veggies

Hopefully verifiable code generation in GHC

Language:HaskellStargazers:0Issues:2Issues:0

z3-1

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0