SjVer

followers

following

stars

Sjoerd Vermeulen's starred repositories

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION3936500

construct

Compiler for an x86 Assembly language abstracting over NASM

Language:C++MIT20200

GeckOS-V2

GeckOS version 2, a multi-tasking and multithreading operating system for the 6502

Language:MakefileGPL-2.022300

cpu

A very primitive but hopefully self-educational CPU in Verilog

Language:Verilog13200

imtui

ImTui: Immediate Mode Text-based User Interface C++ Library

Language:C++MIT291000

ocaml-llvm

Outdated version of an LLVM based backend for OCaml. Newer version:

Language:OCamlNOASSERTION2100

dream

Tidy, feature-complete Web framework

Language:OCamlMIT154500

oni2

Native, lightweight modal code editor

Language:ReasonMIT776400

heap_allocator

A simple heap memory allocator in ~200 lines.

Language:CMIT85600

wipple

Learn to code with Wipple.

Language:RustMIT3200

llvm-min-caml

LLVM port of the Min-Caml compiler

Language:OCamlNOASSERTION900

khasmc

A functional programming language that aims to be simple, but expressive.

Language:OCamlMPL-2.01900

lambda-compiler

A Lambda Calculus to LLVM IR compiler

Language:Python100

logicrs

An easy-to-use simulator for logical circuits

Language:RustMIT5000

star

An experimental programming language that's made to be powerful, productive, and predictable

Language:HaxeApache-2.011900

motion-canvas

Visualize Your Ideas With Code

Language:TypeScriptMIT1551700

ante

A safe, easy systems language

Language:RustMIT186800

schmu

A WIP programming language inspired by ML and powered by LLVM

Language:OCamlEUPL-1.22400

reason-language-server

A language server for reason, in reason

Language:OCamlMIT66000

illuaminate

Very WIP static analysis for Lua

Language:OCamlBSD-3-Clause4900

myte

Compiler and tooling for the Myte programming language.

Language:OCamlMIT2200

malfunction

Malfunctional Programming

Language:OCamlNOASSERTION32300

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

Language:OCaml6100

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustMPL-2.0108400

Cwerg

The best C-like language that can be implemented in 10kLOC.

Language:PythonApache-2.042100

molten

An LLVM compiler for an ML-like language (written in Rust)

Language:RustGPL-3.05400

ocaml-rpc

Light library to deal with RPCs in OCaml

Language:OCamlISC9600

LinearML

Functional language for parallel programming

Language:OCamlNOASSERTION42900

ollvm-tapir

An higher-level LLVM binding for OCaml (forked for added tapir support)

Language:OCamlNOASSERTION100

type-systems

Implementations of various type systems in OCaml.

Language:OCamlUnlicense152000