vmxdev

vmxdev's Stars

• xorvoid/sectorc

  A C Compiler that fits in the 512 byte boot sector of an x86 machine

  Language:C1.6k19969

• alt-romes/programmer-calculator

  Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

  Language:C553104023

• cesarblum/sectorforth

  sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.

  Language:Assembly40314729

• project-everest/vale

  Verified Assembly Language for Everest

  Language:F#276324021

• eliben/js-8080-sim

  Intel 8080 assembler and simulator in JS, optimized for simplicity.

  Language:JavaScript1578111

• xyproto/battlestar

  :dizzy: A different take on Assembly, with the goal of creating tiny executables.

  Language:Go80435

• mtarek/compitex

  A small tool to convert math equations written in LaTeX to equivalent C-Code.

  Language:C49446

• Bulat-Ziganshin/magus

  Portable high-level assembler with authentic C syntax

  Language:Haskell22602

• zilberas/CarbSync

  Digital Carburetor Synchronizer

  Language:Swift22201

• forked-from-1kasper/anders

  Anders: Cubical Type Checker

  Language:OCaml18101

• forked-from-1kasper/loria

  Minetest subgame

  Language:Fennel18473

• Kalimehtar/russian-lang

  Programming language based on russian language

  Language:Racket14423

• forked-from-1kasper/aos-milsim

  Kind of Military Simulator Game built upon https://github.com/piqueserver/piqueserver

  Language:Python6200

• aleksey-makarov/melf

  A Haskell library to parse/serialize Executable and Linkable Format (ELF)

  Language:Haskell51

• forked-from-1kasper/lean-vcpu

  Language:Lean5300

• vladimir-g/python-tkvdb

  Cython wrapper for tkvdb radix trie key-value database

  Language:Python5401

• Borschemancer/axiomatic-sets

  Language:Agda4100

• forked-from-1kasper/9aout

  Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)

  Language:C420

• forked-from-1kasper/dtt-cpp-templates

  Dependent Type Theory on C++ Templates

  Language:C++420

• forked-from-1kasper/starfish_prime

  Starfish Prime: Lisp Flavoured LCF

  Language:Standard ML420

• forked-from-1kasper/tigerspades

  BetterSpades for PowerPC Mac OS X

  Language:C420

• forked-from-1kasper/hypertest

  Hyperbolic Minetest-like game

  Language:C++330

• forked-from-1kasper/romeo

  Castle Romeo: Experimental Theorem Prover for Category Theory

  Language:OCaml320

• pouque/markov

  leaked source code

  Language:Python3200

• forked-from-1kasper/general-recursive-functions

  Toy point free language implementing GRF

  Language:OCaml2200

• Elzeur/boll-of-thousand-souls

  Книга «Шар тысячи душ»

  1100

• forked-from-1kasper/gnustep-embed

  Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt

  Language:Objective-C1

• forked-from-1kasper/lambda-limbo

  Implementation of λ calculus in Limbo

  Language:Limbo120

• forked-from-1kasper/sound-experiments

  Sound experiments

  Language:OCaml120

• nevstas/ludmila

  Language:Jupyter Notebook10