Pinned Repositories
aoc2021
Advent of Code 2021
orel
An experimental ORM with emphasis on the R.
rpidinsync
Raspberry DIN Sync example using Go
seq-www
Toy instruments that use the web audio API
sparkmemory
Some example memory allocators in Ada / SPARK
ssmm
Several species of memory managers (grooving together)
teensy_spark
Teensy (3.2) example with SPARK
tinyprograms
Tiny Programs: Rosetta code for implementations
xcode-solarized
Towards Xcode (5) solarized palettes
ceberly's Repositories
ceberly/aoc2021
Advent of Code 2021
ceberly/tinyprograms
Tiny Programs: Rosetta code for implementations
ceberly/sparkmemory
Some example memory allocators in Ada / SPARK
ceberly/aoc22
Advent of Code 2022
ceberly/aoc22_spark
Advent of Code 2022 in (Ada) Spark
ceberly/AudioHit
Rust-based CLI for batch processing audio samples.
ceberly/azure-batch-docker-container
Sample code that executes a docker container under Azure Batch for every file in an input container.
ceberly/ceberly.github.io
My vanity page
ceberly/cpplox
Crafting Interpreters
ceberly/ssmm
Several species of memory managers (grooving together)
ceberly/teensy_spark
Teensy (3.2) example with SPARK
ceberly/cdedb
A database from scratch
ceberly/chune
Cross plaHtform mUsic listeNing E
ceberly/cmi-blog
ceberly/cpython
The Python programming language
ceberly/dotfiles
ceberly/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
ceberly/faster_rcnn_pytorch
Faster RCNN with PyTorch
ceberly/focus
Minimalist text editor
ceberly/fuzzer-test-suite
Set of tests for fuzzing engines
ceberly/gossip-glomers
My answers to the fly dot io "Gossip Glomers" challenges
ceberly/Idris2
A purely functional programming language with first class types
ceberly/imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
ceberly/imp
A relational programming language built around incremental maintenance.
ceberly/node-cqm-engine
MongoDB based cqm calculation engine with redis workers
ceberly/plfa-agda
My work for the PLFA agda site
ceberly/tensorflow
Computation using data flow graphs for scalable machine learning
ceberly/tinyprof
Tiny profiler
ceberly/vim-sensible
sensible.vim: Defaults everyone can agree on
ceberly/wasm-rust-raytracing-in-one-weekend
Rust and raw-ish Wasm Ray Tracing in One Weekend implementation