Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by newca12

A curated list of projects in awesome lists by newca12 .

https://github.com/newca12/dictionary-builder

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

akka-stream dictionary jaxb rust

Last synced: 08 Nov 2024

https://github.com/newca12/scala-atp

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

logic scala scala-port

Last synced: 08 Nov 2024

https://github.com/newca12/haskell-atp

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

haskell-port logic

Last synced: 08 Nov 2024

https://github.com/newca12/parse_mediawiki_dump

parse_mediawiki_dump clone

Last synced: 12 Oct 2024

https://github.com/newca12/ocaml-atp

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

Last synced: 08 Nov 2024

https://github.com/newca12/tmdb-async-client

Scala async wrapper for TMDb (The Movie Database) API

api-client api-rest asynchronous movie-database scala tmdb

Last synced: 08 Nov 2024

https://github.com/newca12/tmdb-shelf

JavaFX client for TMDb (The Movie Database)

fxml gui javafx javafx-client movie-database scala tmdb

Last synced: 08 Nov 2024

https://github.com/newca12/playground-rs

Rust playground

Last synced: 08 Nov 2024

https://github.com/newca12/gallery-rs

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

Last synced: 08 Nov 2024

https://github.com/newca12/gourmand-web-viewer

Web viewer for Gourmand Recipe Manager

Last synced: 08 Nov 2024

https://github.com/newca12/versatilist

A multi-platform dynamic list filter

Last synced: 08 Nov 2024

https://github.com/newca12/shakuntala-devi-trainer

Brain training tool inspired by Shakuntala Devi's technics

Last synced: 08 Nov 2024

https://github.com/newca12/multi-machine-dedup

Deduplication tool using SQLite to allow multi-machine features.

Last synced: 08 Nov 2024

https://github.com/newca12/melia

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

Last synced: 08 Nov 2024

https://github.com/newca12/mrs

Mechanical reasoning system

Last synced: 08 Nov 2024

https://github.com/newca12/experiments

Just a place to host testing stuff

Last synced: 08 Nov 2024

https://github.com/newca12/bookmarks-digraph

Bookmarks and sub-bookmarks in a directed graph

bookmarks-manager graph

Last synced: 08 Nov 2024

https://github.com/newca12/the-definitive-antlr4-reference-rs

Examples from Terence Parr's "The Definitive ANTLR 4 Reference" ported to Rust.

Last synced: 08 Nov 2024

https://github.com/newca12/cours-coq-bertot-2009

Updated source code for "Cours Vidéo de Coq 2009" by Yves Bertot

coq

Last synced: 08 Nov 2024

https://github.com/newca12/scala-amuse-bouche

Scala port of a short technical talk about some fun things in Haskell by Mark Lentczner

Last synced: 08 Nov 2024

https://github.com/newca12/vscode-tptp

TPTP Language Support for Visual Studio Code

language-server vscode-extension

Last synced: 08 Nov 2024