Popular repositories Loading

1. Nonogram-Solver Nonogram-Solver Public

   Backtracking Nonogram Puzzle Solver written in Python 3

   Python 5 1

2. Protohackers-Racket Protohackers-Racket Public

   My Racket solutions to the protohackers challenges (https://protohackers.com).

   Racket 1

3. logic logic Public

   Logic utilities for Emacs

   Emacs Lisp

4. harrsh harrsh Public

   Forked from katelaan/harrsh

   Scala

5. dotfiles dotfiles Public

   Emacs Lisp

6. zipperposition zipperposition Public

   Forked from sneeuwballen/zipperposition

   An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

   OCaml