Alcides Fonseca

pascal-in-python. Pascal compiler implemented in python using Lex, Yacc and LLVM

GeneticEngine. Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

aeon. Programming Language designed for Program Synthesis with SMT-validation.

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

git-pull-hook. A Sinatra app that takes github's post-receive-hook and git pulls to the local repo.

webcaminput. Unobtrusive Webcam Input for your HTML Forms

alcides-bliki. My personal bliki

RefinementTypesTutorial. A Python implementation of the Refinement Types Tutorial.

tarpipe-python. Tarpipe API library in Python

rdflib. rdflib for Python, with SQLite fixes.

haskell_tutorial. Codebits 2012 Talk: What's the fuss about Functional Programming — Haskell mini Tutorial

scalampp. Scala XMPP Client/Server (School assignment)

django-layout. My default Django folder structure

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.

applebin. Utility scripts for my $PATH and several dotfiles.

lean3_tutorial. Tutorial to use Lean for theorem proving

textile-documenter. A Rakefile to generate HTML version of your textile documentation

springboot_demo. Demo of a SpringBoot application

vscode-aeon. Aeon VSCode Support

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

pungi. Python microwebframework

python-django-templates.tmbundle. TextMate support for Python Django Templates

sinatra_wiki. A wiki written in Sinatra with textile support

createsend-python. A python library for v3 of the createsend API

gpuprogramming_demos. Cuda and OpenCL examples for GPU programming presentation

python-django.tmbundle. Django bundle for TextMate

air.tmbundle. TextMate Bundle for AdobeAir development. Requires a certain folder structure (will make template available)

e107wiki. A wiki plugin for the e107 CMS

scala.tmbundle. A textmate bundle for Scala, modified copy of http://gestalt.monoid.net/blog/2008/02/new-scala-bundle-for-textmate.html

CLOTHO. Directed Test Generation for Weakly Consistent Database Systems

lean4. Lean 4 programming language and theorem prover

llvm_tutorial. A tutorial to learn how to emit LLVM

salesys_with_transaction_script_rdgw. Java

Django-Management.tmbundle. Django management console commands.

django-tla. An attempt to port the Text Link Ads code to Django. It's TLA, not T&A. Kthx.

hurl. Hurl makes HTTP requests.

usaisto. UsaIsto.com

bots. C

java.tmbundle. TextMate support for Java

ant.tmbundle. TextMate support for Ant

jRAPL. Java Bindings for the RAPL power API from Intel