Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

bagnalla Follow

Overview Repositories 50 Projects 0 Packages 0 Stars 30

More

Overview
Repositories
Projects
Packages
Stars

bagnalla

Follow

🦇

Alex Bagnall bagnalla

🦇

Follow

22 followers · 0 following

bagnalla.github.io/

Achievements

Achievements

Organizations

Block or report bagnalla

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 50 Projects 0 Packages 0 Stars 30

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All C++ HTML Rust Emacs Lisp OCaml Python Coq JavaScript Shell C TLA Haskell HolyC Go C#

Sort Last updated

Select order

Last updated Name Stars

cpp_graphs Public

C++ graph library

C++ Updated Dec 27, 2024
bagnalla.github.io Public

HTML Updated Nov 6, 2024
nes Public

NES emulator

Rust Updated Nov 3, 2024
config Public

config files

Emacs Lisp Updated Nov 2, 2024
turmites Public

Langston's ant in OCaml

OCaml Updated Oct 25, 2024
chip8 Public

Chip-8 emulator

Rust Updated Oct 9, 2024
project_euler Public

Project Euler solutions

C++ Updated Jul 8, 2024
nanoGPT Public

Python Updated May 9, 2024
ocamlzar Public

Formally verified discrete samplers in OCaml.

OCaml 5 1 MIT License Updated Mar 8, 2024
ocaml-seq Public

OCaml Updated Feb 25, 2024
micrograd Public

micrograd in OCaml

OCaml Updated Feb 23, 2024
zar Public

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

compiler coq probabilistic-programming sampling formal-verification

Coq 5 MIT License Updated Feb 23, 2024
sexp-trees Public

Interactive s-expression tree viewer

JavaScript 10 2 Updated Feb 21, 2024
opam-repository Public
Forked from ocaml/opam-repository

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

Shell Creative Commons Zero v1.0 Universal Updated Feb 17, 2024
puddi Public

3D Graphics Engine

C 1 Updated Feb 1, 2024
solver-aided-stpa Public

Proof-of-concept solver-aided STPA tool

Python Updated Dec 4, 2023
tlaps_bounded_buffer Public

TLAPS bounded buffer proof

TLA Updated Nov 23, 2023
hakan Public

A functional programming language with algebraic datatypes and typeclasses

C 2 MIT License Updated Apr 25, 2023
guillemot Public

Rust MIT License Updated Apr 18, 2023
haskellzar Public

Zar discrete sampling package for Haskell.

Haskell MIT License Updated Apr 12, 2023
ocamlzar-example Public

Example using Zar OCaml package

OCaml MIT License Updated Apr 11, 2023
newton_bevy Public

N-body simulation with elastic collisions in Rust/Bevy

Rust 8 1 MIT License Updated Apr 1, 2023
algco Public

Algebraic Coinductives

Coq 1 MIT License Updated Mar 20, 2023
ensemble_detect_adv Public

Training Ensembles to Detect Adversarial Examples

neural-network tensorflow detection ensemble adversarial-example

Python 8 2 BSD 2-Clause "Simplified" License Updated Mar 14, 2023
nash Public

Mixed nash equilibrium solver

C++ 1 Apache License 2.0 Updated Feb 20, 2023
bevy Public
Forked from bevyengine/bevy

A refreshingly simple data-driven game engine built in Rust

Rust Other Updated Apr 5, 2022
holyc_mal Public

Mal Lisp for TempleOS

lisp mal templeos holyc

HolyC 110 12 Mozilla Public License 2.0 Updated Jan 10, 2022
goblin Public
Forked from ReconfigureIO/goblin

convert from a Go AST to JSON

Go Apache License 2.0 Updated Jul 13, 2020
dpll Public

DPLL in C#

C# Updated Mar 17, 2020
pow_2 Public

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

Coq Updated Jan 6, 2020

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.