Discover @alcides Open Source projects

Alcides Fonseca (@alcides)

alcides

Stars
296
Global Rank 90,006 (Top 4 %)
Followers 262
Following 814
Registered over 16 years ago
Most used languages

Python
41.9 %

Ruby
12.9 %

Java
9.7 %

Lean 6.5 %

JavaScript
3.2 %

Shell
3.2 %

LLVM 3.2 %

C
3.2 %

ActionScript 3.2 %

Cuda 3.2 %

C++
3.2 %

Perl
3.2 %

Haskell
3.2 %
Location 🇵🇹 Portugal
Country Total Rank 310
Country Ranking

Lean 1

ActionScript 2

LLVM 2

Cuda 4

Haskell
19

Perl
21

Python
65

Ruby
70

Java
217

Shell
716

C
752

C++
758

JavaScript
806

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

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

tarpipe-python

Tarpipe API library in Python

alcides-bliki

My personal bliki

rdflib

rdflib for Python, with SQLite fixes.

aeon

Aeon programming language

RefinementTypesTutorial

A Python implementation of the Refinement Types Tutorial.

AoC2021Lean4

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

scalampp

Scala XMPP Client/Server (School assignment)

haskell_tutorial

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

django-layout

My default Django folder structure

applebin

Utility scripts for my $PATH and several dotfiles.

springboot_demo

Demo of a SpringBoot application

bigdatagpunn

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

textile-documenter

A Rakefile to generate HTML version of your textile documentation

lean3_tutorial

Tutorial to use Lean for theorem proving

pungi

Python microwebframework

e107wiki

A wiki plugin for the e107 CMS

gpuprogramming_demos

Cuda and OpenCL examples for GPU programming presentation

sinatra_wiki

A wiki written in Sinatra with textile support

air.tmbundle

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

python-django.tmbundle

Django bundle for TextMate

scala.tmbundle

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

pcg_cl

OpenCL implementation of the PCG random number generator.

ml_machine_demo

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

bots

usaisto

django-tla

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

django-forum

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

tlreq

TeX Live Dependency Manager

salesys_with_transaction_script_rdgw

llvm_tutorial

A tutorial to learn how to emit LLVM