A tool to convert a Wallpaper's color scheme / palette, OCR with VLM's Traditional & Hybrid, Image Compression ,color palette extraction, image upsacling with Adversarial Networks and more image pr…

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

QR code generator

ASPLOS 2022 Tutorial on Stainless

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.

Yet Another Haskell Neural Network

Ressources pour l'enseignement de l'informatique au Gymnase.

Simple 8-bit Assembler Simulator with Angular.js

Bolts: Stainless Verified Scala Examples

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Proofs on lexing with derivatives and zippers

Encoding and parsing tools.

The Sphinx documentation generator

Lexing library for Scala

A Scala interpreter for lambda calculus, using Huet's Zipper

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Éclair - Parsing with derivatives and zippers

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.