tangentforks's repositories
TwoPlusTwoHandEvaluator
2+2 Poker Hand Evaluator library, adjusted to compile on posix machines.
FourColorTheorem
Gonthier's formal proof of the 4-color theorem, in Coq.
acs
Audio Components Suite for Lazarus/Delphi
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
CNTK
Microsoft Cognitive Toolkit (CNTK)
cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
Decker
A multimedia sketchpad
elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
famix3
This is a port of the FAMIX 3 meta-model and of the depending projects.
fuego
Ascii Fire Effect Demo in Elixir
gt4git
The interface to work with Git projects from within Glamorous Toolkit.
gt4godot
Tools for Godot project visualisations and parsing (.tscn and .gd alike)
gtoolkit
Glamorous Toolkit is the Moldable Development environment. It empowers you to make systems explainable through experiences tailored for each problem.
gtoolkit-visualizer
A set of visualization engines.
gtoolkit-world
Various parts of the world in GT
htmx
</> htmx - high power tools for HTML
jsource
J engine source mirror
jsqlite
libjsqlite source
mathport
Mathport is a tool for porting Lean3 projects to Lean4
nightminer
Simple Python CryptoCurrency mining client
ntgbtminer
A no thrills getblocktemplate Bitcoin miner, written in Python.
OpenAI-Pharo
A powerful OpenAI playground for pro-users and developers
PortableGameNotation.jl
Julia language tools for processing chess portable game notation (PGN) files
QNial7
The NIAL language environment
Roassal3
The Roassal Visualization Engine