Romain Edelmann

gowall. 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 processing features.

random-access-list. Coq

pytamaro. Educational library for Python to teach programming using graphics

DSViz. A C++ data structure visualization library using GraphViz

moodle-format_flexsections. PHP

vanilla-picker. A simple, easy to use vanilla JS color picker with alpha selection.

non-ai-licenses. This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.

bernays. Visual interactive proof assistant for propositional logic

lisa. Proof assistant based on first-order logic and set theory

qr.js. QR code generator

asplos2022tutorial. ASPLOS 2022 Tutorial on Stainless

Logic-Circuit-Simulator. A logic circuit simulator for educational purposes

FTP-Deploy-Action. Deploys a GitHub project to a FTP server using GitHub actions

OCBSL. A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.

yahnn. Yet Another Haskell Neural Network

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

assembler-simulator. Simple 8-bit Assembler Simulator with Angular.js

bolts. Bolts: Stainless Verified Scala Examples

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

silex-proofs. Proofs on lexing with derivatives and zippers

toolbox. Encoding and parsing tools.

sphinx. The Sphinx documentation generator

silex. Lexing library for Scala

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

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

minihol. Scala

Light-Client-Stainless. Scala

eclair. Éclair - Parsing with derivatives and zippers

scallion-python-parser. Parser for python syntax developed using Scallion, a LL(1) parsing library written in Scala

scat. Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.

fit-code. TypeScript

tf-dotty. Shape-safe TensorFlow in Dotty

StainlessFit. Stainless directly built on System FR, with standalone front-end

scallion-proofs. Proofs of correctness for Scallion (https://github.com/epfl-lara/scallion)

almond. A Scala kernel for Jupyter

scallion. LL(1) parser combinators in Scala

CellCulTuring. Casual experiments with cellular automata

runmemo. Run memoizers

scalaz. Principled Functional Programming in Scala

fd. A simple, fast and user-friendly alternative to 'find'

nugget. Neural-Network Guided Expression Transformation

treenet. Recursive Neural Networks for PyTorch

fantasy-land. Specification for interoperability of common algebraic structures in JavaScript

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

brick. A declarative Unix terminal UI library written in Haskell

scalanative-graphics-bindings. OpenGL and SDL2 bindings for Scala Native

inox. Solver for higher-order functional programs, used by Stainless

scabolic. Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

cafesat. The CafeSat SMT solver for Scala

scala-game-library. Scala library for cross-platform 2D game development

scala-smtlib. Scala library for parsing and printing the SMT-LIB format

quine-relay. An uroboros program with 100+ programming languages

Druchii-Net-Tools. The theory crafting tools for Druchii.net

leon. The Leon system for verification, synthesis, repair

JS-ProjectProposal. HTML

Fraction.js. The RAW rational numbers library written in JavaScript

zip. Efficient library for manipulating zip archives

optparse-generic. Auto-generate a command-line parser for your datatype

MasterPassword. Project moved to https://gitlab.com/spectre.app

stack. The Haskell Tool Stack

RxPlay. Making Rx work nice in Play! framework. (Scala)

Haxl. A Haskell library that simplifies access to remote data, such as databases or web-based services.