Skip to content
View redelmann's full-sized avatar

Highlights

  • Pro

Organizations

@epfl-lara

Block or report redelmann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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…

Go 2,255 37 Updated Jun 10, 2026

Educational library for Python to teach programming using graphics

Python 10 5 Updated May 27, 2026

A C++ data structure visualization library using GraphViz

C++ 47 2 Updated Dec 5, 2023

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

JavaScript 222 41 Updated Mar 20, 2025

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

756 23 Updated Mar 11, 2025

Visual interactive proof assistant for propositional logic

JavaScript 5 Updated Sep 25, 2022

Proof assistant based on first-order logic and set theory

Scala 70 23 Updated Jun 18, 2026

QR code generator

JavaScript 4 1 Updated May 9, 2022

ASPLOS 2022 Tutorial on Stainless

C 4 Updated May 24, 2022

A logic circuit simulator for educational purposes

TypeScript 33 15 Updated Jun 10, 2026

Deploys a GitHub project to a FTP server using GitHub actions

TypeScript 5,083 434 Updated Apr 23, 2026

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

Scala 4 Updated Jan 26, 2022

Yet Another Haskell Neural Network

Haskell 2 Updated Dec 21, 2018

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

JavaScript 31 25 Updated May 3, 2026

Simple 8-bit Assembler Simulator with Angular.js

JavaScript 1 Updated Apr 29, 2021

Bolts: Stainless Verified Scala Examples

OCaml 29 13 Updated Jun 17, 2026

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

Scala 400 58 Updated Jun 18, 2026

Proofs on lexing with derivatives and zippers

Coq 2 Updated Feb 19, 2021

Encoding and parsing tools.

JavaScript 1,027 85 Updated Jan 28, 2026

The Sphinx documentation generator

Python 7,879 2,466 Updated Jun 15, 2026

Lexing library for Scala

Scala 12 6 Updated May 11, 2026

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

Scala 7 Updated Dec 15, 2020

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

Java 21,604 1,789 Updated Jun 18, 2026
Scala 3 1 Updated Aug 18, 2020

Éclair - Parsing with derivatives and zippers

Scala 11 1 Updated Apr 8, 2020

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

Scala 1 1 Updated Jun 17, 2020

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

Haskell 50 4 Updated Jun 5, 2024
Next