alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE
LASIGE, University of LisbonLisboa, Portugal
Pinned Repositories
aeon
Aeon programming language
bigdatagpunn
Big Data Tuturial to train a Neural Network on distributed GPU-backed machines.
GeneticEngine
A Hybrid between Grammar-Guided and Strongly-Typed Genetic Programming in Python
git-pull-hook
A Sinatra app that takes github's post-receive-hook and git pulls to the local repo.
haskell_tutorial
Codebits 2012 Talk: What's the fuss about Functional Programming — Haskell mini Tutorial
jRAPL
Java Bindings for the RAPL power API from Intel
pascal-in-python
Pascal compiler implemented in python using Lex, Yacc and LLVM
RefinementTypesTutorial
A Python implementation of the Refinement Types Tutorial.
wallmanager
Website and Multitouch app to manage a Multi-Touch surface.
webcaminput
Unobtrusive Webcam Input for your HTML Forms
alcides's Repositories
alcides/GeneticEngine
A Hybrid between Grammar-Guided and Strongly-Typed Genetic Programming in Python
alcides/alcides-bliki
My personal bliki
alcides/aeon
Aeon programming language
alcides/springboot_demo
Demo of a SpringBoot application
alcides/applebin
Utility scripts for my $PATH and several dotfiles.
alcides/CLOTHO
Directed Test Generation for Weakly Consistent Database Systems
alcides/llvm_tutorial
A tutorial to learn how to emit LLVM
alcides/ml_machine_demo
Demo of using machine-learning.di.fc.ul.pt
alcides/PonyGE2
PonyGE2: grammatical evolution and variants in Python
alcides/salesys_with_transaction_script_rdgw
alcides/Aoc2023
alcides/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)
alcides/CatarinaGamboa.github.io
alcides/GeneticEngineBenchmarkResults
Repo to store there continuous benchmark results from GeneticEngine
alcides/gergelybuday
formalisation dot org
alcides/haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
alcides/lean_target_project
alcides/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
alcides/MyLangVSCodeExtension
A VSCode extension using LSP for a minimal example PL implemented in Python
alcides/mypy
Optional static typing for Python
alcides/nixpkgs
Nix Packages collection
alcides/pre-commit-maven
maven hooks for pre-commit.
alcides/program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
alcides/pytype
A static type analyzer for Python code
alcides/pytype_tests
alcides/ryzen-rapl-powertool
Power consumption analysis tool that uses rapl counters on the AMD Ryzen platform.
alcides/spoon
Spoon is a library for analyzing and transforming Java source code.
alcides/untyped
alcides/untyped3
Lean3 version
alcides/verification_demo
A temporary repository