nandor/llir-semantics

Stars
2
Language Coq
License
GNU General Publi...
Created over 4 years ago
Updated over 4 years ago

nandor/llir-semantics

nandor

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

Formalised semantics for LLIR

hcraft

Haskell clone of a certain game

llir-opt

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

mkcheck

Incremental Build Verification

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)

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