alcides

GeneticEngine

A Hybrid between Grammar-Guided and Strongly-Typed Genetic Programming in Python

alcides-bliki

My personal bliki

aeon

Aeon programming language

springboot_demo

Demo of a SpringBoot application

applebin

Utility scripts for my $PATH and several dotfiles.

CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

llvm_tutorial

A tutorial to learn how to emit LLVM

ml_machine_demo

Demo of using machine-learning.di.fc.ul.pt

PonyGE2

PonyGE2: grammatical evolution and variants in Python

salesys_with_transaction_script_rdgw

Aoc2023

astor

Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

CatarinaGamboa.github.io

GeneticEngineBenchmarkResults

Repo to store there continuous benchmark results from GeneticEngine

gergelybuday

formalisation dot org

haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

lean_target_project

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

MyLangVSCodeExtension

A VSCode extension using LSP for a minimal example PL implemented in Python

mypy

Optional static typing for Python

nixpkgs

Nix Packages collection

pre-commit-maven

maven hooks for pre-commit.

program-repair.github.io

Automated program repair bibliography, tools and benchmarks.

pytype

A static type analyzer for Python code

pytype_tests

ryzen-rapl-powertool

Power consumption analysis tool that uses rapl counters on the AMD Ryzen platform.

spoon

Spoon is a library for analyzing and transforming Java source code.

untyped

untyped3

Lean3 version

verification_demo

A temporary repository