alcides

wallmanager

Website and Multitouch app to manage a Multi-Touch surface.

RefinementTypesTutorial

A Python implementation of the Refinement Types Tutorial.

AoC2021Lean4

My Solutions using Lean 4 for the 2021 edition of the Advent of Code

bigdatagpunn

Big Data Tuturial to train a Neural Network on distributed GPU-backed machines.

lean3_tutorial

Tutorial to use Lean for theorem proving

textile-documenter

A Rakefile to generate HTML version of your textile documentation

bots

jRAPL

Java Bindings for the RAPL power API from Intel

lean4

Lean 4 programming language and theorem prover

europroofnet.github.io

Sources of the EuroProofNet web site.

experiment_results

hgvs

HGVS variant name parsing and generation

homebrew-core

🍻 Default formulae for the missing package manager for macOS

JParCompiler

Java to Parallel Java compiler, using the AeminiumRuntime

miso-dsl

MISO language for parallel and dependable computations.

miso-rust

MISO language implemented on top of Rust Macros

numba

NumPy aware dynamic Python compiler using LLVM

ParGA

Genetic Algorithm for evolving a NBody System built on Threads, ForkJoin, Aeminium and JPar

pcm1920

Public clone of internal repository

PLGradSchools

pltalk

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

projects

Pixels Camp Projects

PyVCF

A Variant Call Format reader for Python.

RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks

smack

SMACK Software Verifier and Verification Toolchain

sse_bi

Business Intelligence over CISUC SSE data

wwwheathermiller

Heather Miller's homepage

z3

The Z3 Theorem Prover

z3builder

Scripts to build z3 on Mac OS and Linux (via docker)

z3test

Test of Headrest issue with z3