Pinned Repositories
agda-DTP-examples
Agda-mode-improvements
Some simple tools for agda-mode to make programming in Agda even more enjoyable.
Agda-reflection-for-semiring-solver
A simple demonstration of the Agda Reflection API
Agda-Representing-Monads
A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
Agda-small-developments-and-examples
A collection of mostly unrelated Agda programs which I found interesting in some way.
Agda-theorem-library
My collection of rather simple, but useful theorems about basic Agda data types
Combinatory-logic
A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
PumpingLemma
A formalization of the pumping lemma for regular languages in Coq
wjzz's Repositories
wjzz/Agda-small-developments-and-examples
A collection of mostly unrelated Agda programs which I found interesting in some way.
wjzz/chess-in-rust
A simple chess engine written in Rust
wjzz/connect-four-rust
Connect four solver in Rust
wjzz/Constructors
Example Coq plugin
wjzz/Coq-Developers-Manual
Additional documentation for the developers of Coq
wjzz/Coq-Equations
A plugin for Coq to add dependent pattern-matching.
wjzz/crust
wjzz/cs-books-react
An example React app using React Hooks and React-router
wjzz/dev-examples
Small examples I write when learning new languages, frameworks, libraries etc
wjzz/dev-notes
wjzz/distributed-computing
wjzz/eval-in-rust
wjzz/example-project
wjzz/gha
wjzz/http-server-in-c
wjzz/newtype-pattern-example
wjzz/NotesAndCheatsheets
Notes I like to create while learning and experimenting
wjzz/othello-backend
wjzz/othello-frontend
wjzz/polyglot
wjzz/primes
wjzz/pyc
A compiler for the C programming language written in Python 3
wjzz/ros_tutorial
wjzz/sakila-ts
An example project to demonstrate the use TypeScript for a simple backend with Mysql
wjzz/shogi-stats-frontend
A simple React application to present various statistics regarding rated games played in shogi tournaments
wjzz/sudoku-react
A simple sudoku solver - an example project for learning React
wjzz/test_driven_learning
wjzz/tutorial-react-jest-enzyme
wjzz/twelf-examples
Some example formalizations made in Twelf.
wjzz/zero2prod