nandor/mkcheck

Stars
14
Rank 1,438,076 (Top 29 %)
Language
C++
License
MIT License
Created almost 7 years ago
Updated 7 months ago

nandor/mkcheck

nandor

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Incremental Build Verification

hcraft

Haskell clone of a certain game

llir-opt

LLIR cross-language post-link optimiser for OCaml and C

offheap

Copies OCaml objects out of the garbage collected heap

MAZE

llir-ocaml

OCaml with the LLIR backend

byter

8-bit computer built from 7400 series ICs

MobileAR

3rd Year BEng Project

llir-opam-repository

Opam repository for Duplo-Optimised OCaml

jsgb

JavaScript GameBoy emulator

ncemu

Chip16 emulator

ocaml-llir-comparison

Comparison of code generation by ocamlopt and Duplo (using the backend of LLVM)

llir-semantics

Formalised semantics for LLIR

myGreenTown

An ecological town building game

whacked

Whacked Compiler

miniml

Simple OCaml Virtual Machine

kit

Keep In Touch for f11 competition

mini-lambda

Compiler Construction Practical Exercise

llir-benchmark

Benchmarks for the LLIR optimiser

nmath

SSE-optimized 4d vector and 4x4 matrix manipulation library

aes

FPGA-Accelerated Implementation of AES Encryption

trees

Tree-like structures implemented in C++

hcasm

Chip16 Assembler written in Haskell

shmap

hasteroid

Asteroids game written in haskell

utcn-imp

Imp Language and Interpreter

riftwm

Window manager for the Oculus Rift and Kinect

mkcheck-eval

arm-krn

ARM bare metal exercieses