newca12/ocaml-atp

Stars
8
Rank 2,099,232 (Top 42 %)
Language
OCaml
License
Other
Created about 7 years ago
Updated about 7 years ago

newca12/ocaml-atp

newca12

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code from John Harrison's Handbook of Practical Logic and Automated Reasoning

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.

scala-netty-examples

Scala port of the examples from Jboss Netty distribution

dictionary-builder

Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.

scala-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala

haskell-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

parse_mediawiki_dump

parse_mediawiki_dump clone

TMDb-async-client

Scala async wrapper for TMDb (The Movie Database) API

TMDb-shelf

JavaFX client for TMDb (The Movie Database)

shakuntala-devi-trainer

Brain training tool inspired by Shakuntala Devi's technics

gourmand-web-viewer

Web viewer for Gourmand Recipe Manager

VersatiList

A multi-platform dynamic list filter

multi-machine-dedup

Deduplication tool using SQLite to allow multi-machine features.

playground-rs

Rust playground

gallery-rs

Rust Language Code Gallery covering a variety of fields and programming styles

MELIA

Clone of MELIA a theorem prover for the Model Evolution Calculus with Equality and built-in linear integer arithmetic.

scalafxml-demo

scalafxml-demo is a scalaFXML port of The Audio Configuration “More Cowbell” program from Pro JavaFX 2 book.