Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
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
Starred Topics
-
#
computational-linguistics
StarredApr 1, 2021