bagnalla

La beauté n’est que la promesse du bonheur.

Pinned Repositories

AAL
Array Animation Language
Language:JavaScript2 1 00
AAL_code
Source code for Array Animation Language
Language:OCaml3 1 00
ensemble_detect_adv
Training Ensembles to Detect Adversarial Examples
Language:Python7 2 02
holyc_mal
Mal Lisp for TempleOS
Language:HolyC107 3 110
nash
Mixed nash equilibrium solver
Language:C++1 2 00
newton_bevy
N-body simulation with elastic collisions in Rust/Bevy
Language:Rust8 2 21
ocamlzar
Formally verified discrete samplers in OCaml.
Language:OCaml5 2 11
sexp-trees
Interactive s-expression tree viewer
Language:JavaScript9 1 02
zar
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
Language:Coq5 2 00
summonscript
Manifest manifold models with magical machinations.
Language:JavaScript37 5 153

bagnalla's Repositories

bagnalla/holyc_mal
Mal Lisp for TempleOS
Language:HolyC107 3 110
bagnalla/sexp-trees
Interactive s-expression tree viewer
Language:JavaScript9 1 02
bagnalla/newton_bevy
N-body simulation with elastic collisions in Rust/Bevy
Language:Rust8 2 21
bagnalla/ensemble_detect_adv
Training Ensembles to Detect Adversarial Examples
Language:Python7 2 02
bagnalla/ocamlzar
Formally verified discrete samplers in OCaml.
Language:OCaml5 2 11
bagnalla/zar
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
Language:Coq5 2 00
bagnalla/hakan
A functional programming language with algebraic datatypes and typeclasses
Language:C20
bagnalla/algco
Algebraic Coinductives
Language:Coq10
bagnalla/functors-monads
Monads from adjunctions in Coq.
Language:Coq1 1 00
bagnalla/nash
Mixed nash equilibrium solver
Language:C++1 2 00
bagnalla/project_euler
Project Euler solutions
Language:C++1 1 0
bagnalla/solver-aided-stpa
Proof-of-concept solver-aided STPA tool
Language:Python1 2 40
bagnalla/dpll
DPLL in C#
Language:C#0 2 00
bagnalla/bagnalla.github.io
Language:HTML2 0
bagnalla/bevy
A refreshingly simple data-driven game engine built in Rust
Language:Rust1 0
bagnalla/cpp_graphs
C++ graph library
Language:C++2 0
bagnalla/gdtypes
Experimental type system for GDScript
Language:Haskell1 0
bagnalla/goblin
convert from a Go AST to JSON
Language:Go1 0
bagnalla/guillemot
Language:Rust2 0
bagnalla/haskellzar
Zar discrete sampling package for Haskell.
Language:Haskell2 0
bagnalla/ky
Language:Haskell3 0
bagnalla/micrograd
micrograd in OCaml
Language:OCaml2 0
bagnalla/nanoGPT
Language:Python2 0
bagnalla/ocaml-seq
Language:OCaml2 0
bagnalla/ocamlzar-example
Example using Zar OCaml package
Language:OCaml2 0
bagnalla/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell1 0
bagnalla/pow_2
Least power of two greater than or equal to a given natural number.
Language:Coq1 0
bagnalla/puddi
3D Graphics Engine
Language:C1 01
bagnalla/puddi_hello_world
Example puddi application.
Language:JavaScript1 0
bagnalla/tlaps_bounded_buffer
TLAPS bounded buffer proof
Language:TLA2 0