Giters
Sjoerd Vermeulen (SjVer)

SjVer

Geek Repo

9

followers

5

following

4

stars

Github PK Tool:Github PK Tool

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:RustLicense:NOASSERTIONStargazers:45646Issues:197Issues:7640

motion-canvas

Visualize Your Ideas With Code

Language:TypeScriptLicense:MITStargazers:15785Issues:78Issues:363

oni2

Native, lightweight modal code editor

Language:ReasonLicense:MITStargazers:7774Issues:83Issues:1583

imtui

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

Language:C++License:MITStargazers:2981Issues:46Issues:37

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1889Issues:32Issues:138

dream

Tidy, feature-complete Web framework

Language:OCamlLicense:MITStargazers:1574Issues:30Issues:213

type-systems

Implementations of various type systems in OCaml.

Language:OCamlLicense:UnlicenseStargazers:1522Issues:56Issues:11

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:RustLicense:MPL-2.0Stargazers:1087Issues:13Issues:8

heap_allocator

A simple heap memory allocator in ~200 lines.

Language:CLicense:MITStargazers:864Issues:24Issues:5

reason-language-server

A language server for reason, in reason

Language:OCamlLicense:MITStargazers:659Issues:13Issues:318

Cwerg

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

Language:PythonLicense:Apache-2.0Stargazers:450Issues:14Issues:34

LinearML

Functional language for parallel programming

Language:OCamlLicense:NOASSERTIONStargazers:430Issues:26Issues:8

malfunction

Malfunctional Programming

Language:OCamlLicense:NOASSERTIONStargazers:325Issues:26Issues:31

GeckOS-V2

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

Language:MakefileLicense:GPL-2.0Stargazers:230Issues:14Issues:93

construct

Compiler for an x86 Assembly language abstracting over NASM

Language:C++License:MITStargazers:202Issues:9Issues:11

cpu

A very primitive but hopefully self-educational CPU in Verilog

Language:VerilogStargazers:131Issues:6Issues:0

star

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

Language:HaxeLicense:Apache-2.0Stargazers:119Issues:6Issues:2

ocaml-rpc

Light library to deal with RPCs in OCaml

Language:OCamlLicense:ISCStargazers:95Issues:10Issues:34

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

Language:OCamlStargazers:61Issues:5Issues:1

molten

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

Language:RustLicense:GPL-3.0Stargazers:56Issues:4Issues:2

logicrs

An easy-to-use simulator for logical circuits

Language:RustLicense:MITStargazers:50Issues:2Issues:28

illuaminate

Very WIP static analysis for Lua

Language:OCamlLicense:BSD-3-ClauseStargazers:48Issues:6Issues:38

wipple

Learn to code with Wipple.

Language:RustLicense:MITStargazers:33Issues:1Issues:111

schmu

A small programming language

Language:OCamlLicense:EUPL-1.2Stargazers:23Issues:3Issues:44

ocaml-llvm

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

Language:OCamlLicense:NOASSERTIONStargazers:21Issues:0Issues:0

myte

Compiler and tooling for the Myte programming language.

Language:OCamlLicense:MITStargazers:21Issues:1Issues:1

khasmc

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

Language:OCamlLicense:MPL-2.0Stargazers:18Issues:1Issues:9

llvm-min-caml

LLVM port of the Min-Caml compiler

Language:OCamlLicense:NOASSERTIONStargazers:8Issues:4Issues:0

ollvm-tapir

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

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

lambda-compiler

A Lambda Calculus to LLVM IR compiler

Language:PythonStargazers:0Issues:2Issues:0