Stars
A tool to convert a Wallpaper's color scheme / palette, image to pixel art, color palette extraction, image upsacling with Adversarial Networks and more image processing features
Educational library for Python to teach programming using graphics
A C++ data structure visualization library using GraphViz
A simple, easy to use vanilla JS color picker with alpha selection.
This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.
Visual interactive proof assistant for propositional logic
Proof assistant based on first-order logic and set theory
A logic circuit simulator for educational purposes
Deploys a GitHub project to a FTP server using GitHub actions
A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.
Ressources pour l'enseignement de l'informatique au Gymnase.
Simple 8-bit Assembler Simulator with Angular.js
Verification framework and tool for higher-order Scala programs
https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
A Scala interpreter for lambda calculus, using Huet's Zipper
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Parser for python syntax developed using Scallion, a LL(1) parsing library written in Scala
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.