newca12/scalafxml-demo
scalafxml-demo is a scalaFXML port of The Audio Configuration “More Cowbell” program from Pro JavaFX 2 book.
Developer Profile
newca12
Discovered public repositories for newca12 in the GitHub catalog.
newca12/TMDb-shelf
Movie collection manager using TMDb API, built with Rust & Iced.
newca12/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
newca12/TMDb-async-client
Scala async wrapper for TMDb (The Movie Database) API
newca12/scala-amuse-bouche
Scala port of a short technical talk about some fun things in Haskell by Mark Lentczner
newca12/haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
newca12/Ambassy
Obsolete form of the embassy where foreign nationals are processes that need assistance.
newca12/tptp-editor
TPTP Editor
newca12/Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.
newca12/scala-scripts
Scala Fun Script Collection
newca12/MELIA
Clone of MELIA a theorem prover for the Model Evolution Calculus with Equality and built-in linear integer arithmetic.
newca12/scala-netty-examples
Scala port of the examples from Jboss Netty distribution
newca12/scala-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
newca12/newca12.github.com
EDLA home page
newca12/mailslot
an smtp-based appserver
newca12/dictionary-builder
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.