Kraks / 2048.py
Text-based 2048 in Python.
☆23Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for 2048.py
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 9 years ago
- A blog about Coq☆47Updated 2 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- lean-related presentations☆16Updated 9 months ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning☆28Updated 7 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆20Updated 9 months ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆19Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 6 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆16Updated 13 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- Formalization of termination of Gödel's System T☆9Updated 3 years ago
- An introductory tutorial for the Coq proof assistant.☆9Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- Racket bindings for Z3☆19Updated 12 years ago