Starred Repositories
Browse starred repositories
Sort: Recently starred
-
Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.
-
Simple verification of Rust programs via functional purification in Lean 2(!)
-
A verification toolchain for Rust programs
-
A curated list of awesome READMEs
-
⛅ The right way to check the weather
-
Language based on Rewriting Logic
-
Emacs support library for PDF files.
-
Type-safe effectful state machines in Haskell
-
typed finite-state machine
-
A knowledge integration framework based on Wikidata
-
SampCert : Verified Differential Privacy
-
-
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
-
A lightweight serverless platform that uses Web Browsers as execution engines
-
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
-
Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.
-
Wikidata lexemes presentations
-
Library implementing type inference/checking functionality based on the Lean theorem prover
-
Mistral LLM API examples for my book "Loving Common Lisp, or the Savvy Programmer's Secret Weapon"
-
The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets
-
A mirror of the original GeoQuery info site
-
Plugin for the GraphiQL IDE that displays GraphQL query cost
-
Simple multilingual lemmatizer for Python, especially useful for speed and efficiency
-
Explanation to key concepts in ML
-
Pseudo-code Instructions dataset
-
[Experimental] Graph and Tensor Abstraction for Deep Learning all in Common Lisp
-
A reasoning system for large knowledge bases.
-
AlphaMWE: Construction of Multilingual Parallel Corpora with MWE Annotations
-
Experiments with SAT solvers with proofs in Lean 4
-
Animation engine for explanatory math videos