Pinned Repositories
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
dictionary-builder
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.
haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
mailslot
an smtp-based appserver
ocaml-atp
Code from John Harrison's Handbook of Practical Logic and Automated Reasoning
parse_mediawiki_dump
parse_mediawiki_dump clone
scala-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
scala-netty-examples
Scala port of the examples from Jboss Netty distribution
Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.
TMDb-async-client
Scala async wrapper for TMDb (The Movie Database) API
newca12's Repositories
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
newca12/dictionary-builder
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.
newca12/parse_mediawiki_dump
parse_mediawiki_dump clone
newca12/haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
newca12/TMDb-async-client
Scala async wrapper for TMDb (The Movie Database) API
newca12/TMDb-shelf
JavaFX client for TMDb (The Movie Database)
newca12/gallery-rs
Rust Language Code Gallery covering a variety of fields and programming styles
newca12/gourmand-web-viewer
Web viewer for Gourmand Recipe Manager
newca12/multi-machine-dedup
Deduplication tool using SQLite to allow multi-machine features.
newca12/playground-rs
Rust playground
newca12/shakuntala-devi-trainer
Brain training tool inspired by Shakuntala Devi's technics
newca12/VersatiList
A multi-platform dynamic list filter
newca12/antlr4rust
ANTLR4 parser generator runtime for Rust programming laguage
newca12/awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
newca12/awesome-selfhosted-data
machine-readable data for https://awesome-selfhosted.net
newca12/book
The Rust Programming Language
newca12/futures-rs
Zero-cost asynchronous programming in Rust
newca12/json-diff
newca12/mrs
Mechanical reasoning system
newca12/newca12.github.com
EDLA home page
newca12/normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
newca12/plar-rs
Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in Rust
newca12/ProvingGround
Proving Ground: Tools for Automated Mathematics
newca12/rs-logik
Propositional logic interpreter, inspired by https://github.com/64bit-lab/Logik, but wrote with the Better Langauge
newca12/rust-by-example
Learn Rust with examples (Live code editor included)
newca12/rust-utf7-imap
Mailbox names decoder (UTF-7 IMAP RFC3501)
newca12/Serkr
An automated theorem prover for first order logic.
newca12/the-definitive-antlr4-reference-rs
Examples from Terence Parr's "The Definitive ANTLR 4 Reference" ported to Rust.
newca12/tokio-imap
Tokio-based IMAP implementation
newca12/twoskip-rs
Robust single-file KV store for Rust