Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by bagnalla

A curated list of projects in awesome lists by bagnalla .

https://github.com/bagnalla/holyc_mal

Mal Lisp for TempleOS

holyc lisp mal templeos

Last synced: 14 Mar 2025

https://github.com/bagnalla/sexp-trees

Interactive s-expression tree viewer

Last synced: 20 Nov 2024

https://github.com/bagnalla/newton_bevy

N-body simulation with elastic collisions in Rust/Bevy

Last synced: 20 Nov 2024

https://github.com/bagnalla/ensemble_detect_adv

Training Ensembles to Detect Adversarial Examples

adversarial-example detection ensemble neural-network tensorflow

Last synced: 20 Nov 2024

https://github.com/bagnalla/zar

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

compiler coq formal-verification probabilistic-programming sampling

Last synced: 10 Feb 2025

https://github.com/bagnalla/ocamlzar

Formally verified discrete samplers in OCaml.

Last synced: 20 Nov 2024

https://github.com/bagnalla/aal_code

Source code for Array Animation Language

Last synced: 14 Mar 2025

https://github.com/bagnalla/aal

Array Animation Language

Last synced: 14 Mar 2025

https://github.com/bagnalla/hakan

A functional programming language with algebraic datatypes and typeclasses

Last synced: 14 Mar 2025

https://github.com/bagnalla/nash

Mixed nash equilibrium solver

Last synced: 14 Mar 2025

https://github.com/bagnalla/functors-monads

Monads from adjunctions in Coq.

Last synced: 14 Mar 2025

https://github.com/bagnalla/algco

Algebraic Coinductives

Last synced: 14 Mar 2025

https://github.com/bagnalla/grumpy3d

3D visualization of the Grumpy compiler

Last synced: 14 Mar 2025

https://github.com/bagnalla/pcf

A PCF interpreter in Haskell.

haskell lambda-calculus pcf programming-languages type-theory

Last synced: 14 Mar 2025

https://github.com/bagnalla/cpp_graphs

C++ graph library

Last synced: 14 Mar 2025

https://github.com/bagnalla/solver-aided-stpa

Proof-of-concept solver-aided STPA tool

Last synced: 14 Mar 2025

https://github.com/bagnalla/pcf2

PCF with Hindley-Milner type inference.

haskell hindley-milner interpreter lambda-calculus

Last synced: 14 Mar 2025

https://github.com/bagnalla/malloc

An implementation of the C dynamic memory allocation functions malloc, free, calloc, and realloc.

Last synced: 14 Mar 2025

https://github.com/bagnalla/micrograd

micrograd in OCaml

Last synced: 14 Mar 2025

https://github.com/bagnalla/mcts_checkers

MCTS+UCB agent for checkers.

Last synced: 14 Mar 2025

https://github.com/bagnalla/puddi

3D Graphics Engine

Last synced: 14 Mar 2025

https://github.com/bagnalla/emnist

Extended MNIST dataset.

Last synced: 14 Mar 2025

https://github.com/bagnalla/webgrumpy

CS4100 grumpy compiler web interface

Last synced: 14 Mar 2025

https://github.com/bagnalla/tiger

A Haskell implementation of Appel's Tiger language.

Last synced: 14 Mar 2025

https://github.com/bagnalla/haskellzar

Zar discrete sampling package for Haskell.

Last synced: 14 Mar 2025

https://github.com/bagnalla/tf_mnist

Simple TensorFlow MNIST model for experimentation.

Last synced: 14 Mar 2025

https://github.com/bagnalla/ocamlzar-example

Example using Zar OCaml package

Last synced: 14 Mar 2025

https://github.com/bagnalla/pow_2

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

Last synced: 14 Mar 2025

https://github.com/bagnalla/cagesim

Last synced: 14 Mar 2025

https://github.com/bagnalla/gdtypes

Experimental type system for GDScript

Last synced: 14 Mar 2025

https://github.com/bagnalla/rts

Last synced: 14 Mar 2025

https://github.com/bagnalla/puddi_testbench

Project for developing and testing the puddi 3D graphics engine.

Last synced: 14 Mar 2025

https://github.com/bagnalla/approximatesine

sine maclaurin series

Last synced: 14 Mar 2025

https://github.com/bagnalla/dpll

DPLL in C#

Last synced: 14 Mar 2025

https://github.com/bagnalla/guillemot

Last synced: 14 Mar 2025

https://github.com/bagnalla/render-engine-demo

SDL, custom scene graph system, assimp, uni and omnidirectional shadow mapping, heightmap-based terrain with texture blending based on height

Last synced: 14 Mar 2025

https://github.com/bagnalla/config

config files

Last synced: 09 Apr 2025

https://github.com/bagnalla/chip8

Chip-8 emulator

Last synced: 09 Apr 2025

https://github.com/bagnalla/ky

Last synced: 14 Mar 2025

https://github.com/bagnalla/nanogpt

Last synced: 14 Mar 2025

https://github.com/bagnalla/nes

NES emulator

Last synced: 14 Mar 2025

https://github.com/bagnalla/ocaml-seq

Last synced: 14 Mar 2025

https://github.com/bagnalla/project_euler

Project Euler solutions

Last synced: 14 Mar 2025

https://github.com/bagnalla/tlaps_bounded_buffer

TLAPS bounded buffer proof

Last synced: 14 Mar 2025

https://github.com/bagnalla/recursive-domains

Solving recursive domain equations in Coq.

Last synced: 14 Mar 2025

https://github.com/bagnalla/primethreads

Compute the first n prime numbers via trial division. Memoization and multiple threads are used to reduce the running time.

Last synced: 14 Mar 2025

https://github.com/bagnalla/simp

Solver-aided Imp

haskell imp verification z3

Last synced: 14 Mar 2025

https://github.com/bagnalla/puddi_hello_world

Example puddi application.

Last synced: 14 Mar 2025