rjnw

Pinned Repositories

f18-llvm-project
Fork of llvm/llvm-project for f18. In sync with f18-mlir and f18.
28 10 40616
augurv2
Language:Haskell0 2 00
cryptol
Cryptol: The Language of Cryptography
Language:Haskell1 1 00
fce-pycket
scheme interpreter using pypy framework with first class environments
Language:Python2 3 00
scf
Language:Racket1 2 21
sham
A DSL for runtime code generation in racket
Language:Racket67 10 76

rjnw's Repositories

rjnw/sham
A DSL for runtime code generation in racket
Language:Racket67 10 76
rjnw/fce-pycket
scheme interpreter using pypy framework with first class environments
Language:Python2 3 00
rjnw/cryptol
Cryptol: The Language of Cryptography
Language:Haskell1 1 00
rjnw/scf
Language:Racket1 2 21
rjnw/augurv2
Language:Haskell0 2 00
rjnw/disassemble
Disassembler for Racket
Language:Scheme2 0
rjnw/dynamic-ffi
Auto define Racket bindings to C by parsing header files.
Language:Racket1 0
rjnw/hakaru-benchmarks
for benchmarking different hakaru code
Language:Haskell5 12
rjnw/lightning.rkt
Language:Racket2 0
rjnw/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
0 0
rjnw/post-sham
Language:Racket2 0
rjnw/pycket
A rudimentary Racket implementation using RPython
Language:Python2 0
rjnw/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C0 0
rjnw/racket-llvm
Bindings for llvm in racket
Language:Racket2 0
rjnw/rjnw
1 0
rjnw/synth
Simple software synthesizer in Racket
Language:Racket3 0
rjnw/vfpa-idris
Language:Idris2 0