alcides Goto Github PK

aeon

Aeon programming language

air.tmbundle

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

alcides-bliki

My personal bliki

ant.tmbundle

TextMate support for Ant

aoc2021lean4

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

aoc2023

applebin

Utility scripts for my $PATH and several dotfiles.

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)

bigdatagpunn

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

bots

catarinagamboa.github.io

clotho

Directed Test Generation for Weakly Consistent Database Systems

createsend-python

A python library for v3 of the createsend API

django-facebookconnect

Use facebook connect in your Django project

django-forum

Mirror of http://django-forum.googlecode.com/svn/

django-layout

My default Django folder structure

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.

e107wiki

A wiki plugin for the e107 CMS

europroofnet.github.io

Sources of the EuroProofNet web site.

eve

EVE Programming language

experiment_results

forkjoinwithcutoff

Java's ForkJoin version with automatic cutoff mechanisms.

gcc

geneticengine

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

geneticenginebenchmarkresults

Repo to store there continuous benchmark results from GeneticEngine

gergelybuday

formalisation dot org

git-pull-hook

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

gpuprogramming_demos

Cuda and OpenCL examples for GPU programming presentation

haskell-template

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