|
Castor
|
A semi-automated formal verification tool for idiomatic C++, in a style
reminiscent of Frama-C or Why3.
|
GitHub/LLNL
|
|
ROSE
|
Extensive infrastructure for analysis and transformation of source code
and program binaries.
|
GitHub/ROSE-Compiler
|
|
DotMP
|
A collection of powerful abstractions for parallel programming in .NET
with an OpenMP-like API.
|
Codeberg/computablee
|
|
Zermelo
|
A compiler for an experimental, declarative, set-theoretic programming
language.
|
Codeberg/computablee
|
|
CLPL
|
A header-only command-line parsing library for C++.
|
Codeberg/computablee
|
|
100 Elo Chess Engine
|
A toy chess engine using classical AI (non-ML) to achieve an estimated
2150 Elo on the CCRL scale.
|
Codeberg/computablee
|
|
N#
|
My first attempt at a compiler, written in and targeting SmileBASICv3 on
the Nintendo 3DS.
|
Codeberg/computablee
|
|
Minecraft DS
|
A demake of Minecraft for the Petit Computer DSiWare application using a
raycaster engine.
|
Codeberg/computablee
|