Pinned Repositories
additive-phylogeny-viz
autocoqdoc
generate coq docs for a bunch of packages all at once
bellantonicook
Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-kissloader
load findlib libraries in coq that don't have a dot in their name
coq-plugin-template-pyml-demo
Template of Coq Plugin using the Dune build system, and showcasing some advanced features
ocaml-bert-ggml
proof-repair-tool
python-coqtop
svg-is-turing-complete
An implementation of rule 110 in Scalable Vector Graphics
tom-p-reichel's Repositories
tom-p-reichel/proof-repair-tool
tom-p-reichel/coq-kissloader
load findlib libraries in coq that don't have a dot in their name
tom-p-reichel/ocaml-bert-ggml
tom-p-reichel/python-coqtop
tom-p-reichel/autocoqdoc
generate coq docs for a bunch of packages all at once
tom-p-reichel/bellantonicook
Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions
tom-p-reichel/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
tom-p-reichel/coq-plugin-template-pyml-demo
Template of Coq Plugin using the Dune build system, and showcasing some advanced features
tom-p-reichel/cs474-hw
tom-p-reichel/hermes-linux
tom-p-reichel/goodinference
tom-p-reichel/insanely-fast-whisper
tom-p-reichel/lin-alg-8.10
Linear Algebra
tom-p-reichel/llama-recipes
Examples and recipes for Llama 2 model
tom-p-reichel/llm-llama-cpp
LLM plugin for running models using llama.cpp
tom-p-reichel/PR-fermat4
Diophantus's 20th Problem and Fermat's Last Theorem for n = 4
tom-p-reichel/prism
Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
tom-p-reichel/PRM-distributed-reference-counting
A Construction of Distributed Reference Counting
tom-p-reichel/PRM-la-girafe-sportive
Coq-verified statements about lambda calculi.
tom-p-reichel/PRM-ledgertheory
tom-p-reichel/PRM-System-T
Formalisation of Goedel's System T in Coq
tom-p-reichel/proofdb-webui
tom-p-reichel/proofdb-webui-client
tom-p-reichel/proverbot9001
tom-p-reichel/searchllama-kit
kit of resources to train llama models for searching
tom-p-reichel/sentence-transformers
Multilingual Sentence & Image Embeddings with BERT
tom-p-reichel/svntogit-community
Automatic import of svn 'community' repo (read-only mirror)
tom-p-reichel/tom-p-reichel
tom-p-reichel/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
tom-p-reichel/verdi
A framework for formally verifying distributed systems implementations in Coq