bagnalla

Alex Bagnall's repositories

holyc_mal

Mal Lisp for TempleOS

Language:HolyCMPL-2.0107 3 1

sexp-trees

Interactive s-expression tree viewer

Language:JavaScript9 10

newton_bevy

N-body simulation with elastic collisions in Rust/Bevy

Language:RustMIT8 2 2

ensemble_detect_adv

Training Ensembles to Detect Adversarial Examples

Language:PythonBSD-2-Clause7 20

ocamlzar

Formally verified discrete samplers in OCaml.

Language:OCamlMIT5 2 1

zar

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

Language:CoqMIT4 20

hakan

A functional programming language with algebraic datatypes and typeclasses

Language:CMIT200

algco

Algebraic Coinductives

Language:CoqMIT100

functors-monads

Monads from adjunctions in Coq.

Language:Coq1 10

nash

Mixed nash equilibrium solver

Language:C++Apache-2.01 20

project_euler

Project Euler solutions

Language:C++1 10

solver-aided-stpa

Proof-of-concept solver-aided STPA tool

Language:Python1 2 4

dpll

DPLL in C#

Language:C#020

bagnalla.github.io

Language:HTML020

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustNOASSERTION010

cpp_graphs

C++ graph library

Language:C++020

gdtypes

Experimental type system for GDScript

Language:HaskellMIT010

goblin

convert from a Go AST to JSON

Language:GoApache-2.0010

guillemot

Language:RustMIT020

haskellzar

Zar discrete sampling package for Haskell.

Language:HaskellMIT020

ky

Language:Haskell030

micrograd

micrograd in OCaml

Language:OCaml020

nanoGPT

Language:Python020

ocaml-seq

Language:OCaml020

ocamlzar-example

Example using Zar OCaml package

Language:OCamlMIT020

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellCC0-1.0010

pow_2

Least power of two greater than or equal to a given natural number.

Language:Coq010

puddi

3D Graphics Engine

Language:C010

puddi_hello_world

Example puddi application.

Language:JavaScript010

tlaps_bounded_buffer

TLAPS bounded buffer proof

Language:TLA020