Pinned Repositories
adventofcode-2023
My solutions to advent of code for 2023. Mostly using OCaml to inspire new Programming 1 students at UdS
adventofcode-ocaml-template
A small template for advent of code only using vanilla OCaml. We use dune as a build system.
custom_infinite_craft
A custom implementation of Infinite Craft (https://neal.fun/infinite-craft/)
forschungstage-23
gathering
jorge-mells-hangman_ocaml
First real ocaml project 😊
lambda-calc
A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
metacoq
Metaprogramming in Coq
thorin2
The Higher ORder INtermediate representation - next gen
transpilation
A summary of ideas about transpilation -- work in progress
NeuralCoder3's Repositories
NeuralCoder3/custom_infinite_craft
A custom implementation of Infinite Craft (https://neal.fun/infinite-craft/)
NeuralCoder3/adventofcode-2023
My solutions to advent of code for 2023. Mostly using OCaml to inspire new Programming 1 students at UdS
NeuralCoder3/adventofcode-ocaml-template
A small template for advent of code only using vanilla OCaml. We use dune as a build system.
NeuralCoder3/forschungstage-23
NeuralCoder3/jorge-mells-hangman_ocaml
First real ocaml project 😊
NeuralCoder3/planning_synthesis
PDDL Assembly Synthesis for Sorting Algorithmus using Planning
NeuralCoder3/prooftrees
Exploration of interactive inference rule application/proofs using a unification approach.
NeuralCoder3/SOOCaml-frontend
The User Interface for SOOCaml (old https://sosml.org)
NeuralCoder3/synthesis_comparison
We compare a bunch of synthesis techniques regarding their domain in general and applicability regarding program synthesis specifically
NeuralCoder3/arduino-getting-started
A german guide to get started with Arduino Development and Low-level Hardware
NeuralCoder3/enumeration-synth
Assembly Synthesis using Hash Enumeration
NeuralCoder3/geronimo-logicOcaml
This project is a deep dive into the core components of compiler design through functional programming in OCaml. It's structured around creating a compiler that includes a lexer, parser, evaluator, all entirely done in Ocaml, to handle logical expressions.
NeuralCoder3/ILP-synthesis
A program synthesis approach based on ILP constraints
NeuralCoder3/knit
Software for knitting
NeuralCoder3/metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
NeuralCoder3/miniocaml-menhir
Sample Solution MiniOCaml using Menhir
NeuralCoder3/NeuralCoder3
NeuralCoder3/neuralcoder3.github.io
NeuralCoder3/ocaml-live-presentation
An updating presentation for rendering and Live Coding in OCaml
NeuralCoder3/ocaml-sat
A simply DPLL-like approach to boolean formula satisfiability in propositional logic. CNF transformation via tseytin
NeuralCoder3/ocaml-tictactoe-demo
A simple GUI for tictactoe using bogue
NeuralCoder3/ocaml_bignum
A self-contained big number implementation from scratch. Supports Nat and Z
NeuralCoder3/pokemon-rom-pedometer
A pedometer for leveling up pokemon (specifically Pokemon Radical Red) with automatic extraction and insertion into rom save states. Similar to the old DS pokemon tamagotchi step counter.
NeuralCoder3/prog1-book-proxy
A proxy repository to forward gh-pages publishing
NeuralCoder3/shack-synth-web
Synthesis of loop-free programs
NeuralCoder3/smt_synthesis
Program Synthesis using SMT Solvers
NeuralCoder3/sort_comparison
A comparison of AlphaDev and similar algorithms. We also propose our own alternatives to AlphaDev.
NeuralCoder3/thorin-soundness
A soundness proof of Thorin (The Higher ORder INtermediate representation)
NeuralCoder3/untyped_lambda
A small compiler (lexer, parser, interpreter, SK-backend) for the untyped lambda calculus
NeuralCoder3/z3-web-minimal
A minimal react typescript example project using the z3 javascript binding.