Pinned Repositories
AAL
Array Animation Language
AAL_code
Source code for Array Animation Language
ensemble_detect_adv
Training Ensembles to Detect Adversarial Examples
holyc_mal
Mal Lisp for TempleOS
nash
Mixed nash equilibrium solver
newton_bevy
N-body simulation with elastic collisions in Rust/Bevy
ocamlzar
Formally verified discrete samplers in OCaml.
sexp-trees
Interactive s-expression tree viewer
zar
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
summonscript
Manifest manifold models with magical machinations.
bagnalla's Repositories
bagnalla/holyc_mal
Mal Lisp for TempleOS
bagnalla/sexp-trees
Interactive s-expression tree viewer
bagnalla/newton_bevy
N-body simulation with elastic collisions in Rust/Bevy
bagnalla/ensemble_detect_adv
Training Ensembles to Detect Adversarial Examples
bagnalla/ocamlzar
Formally verified discrete samplers in OCaml.
bagnalla/zar
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
bagnalla/hakan
A functional programming language with algebraic datatypes and typeclasses
bagnalla/algco
Algebraic Coinductives
bagnalla/functors-monads
Monads from adjunctions in Coq.
bagnalla/nash
Mixed nash equilibrium solver
bagnalla/project_euler
Project Euler solutions
bagnalla/solver-aided-stpa
Proof-of-concept solver-aided STPA tool
bagnalla/dpll
DPLL in C#
bagnalla/bagnalla.github.io
bagnalla/bevy
A refreshingly simple data-driven game engine built in Rust
bagnalla/cpp_graphs
C++ graph library
bagnalla/gdtypes
Experimental type system for GDScript
bagnalla/goblin
convert from a Go AST to JSON
bagnalla/guillemot
bagnalla/haskellzar
Zar discrete sampling package for Haskell.
bagnalla/ky
bagnalla/micrograd
micrograd in OCaml
bagnalla/nanoGPT
bagnalla/ocaml-seq
bagnalla/ocamlzar-example
Example using Zar OCaml package
bagnalla/opam-repository
Main public package repository for opam, the source package manager of OCaml.
bagnalla/pow_2
Least power of two greater than or equal to a given natural number.
bagnalla/puddi
3D Graphics Engine
bagnalla/puddi_hello_world
Example puddi application.
bagnalla/tlaps_bounded_buffer
TLAPS bounded buffer proof