AlexandreJSehnem's repositories
huffman
An implementation of the huffman algorithm in Haskell
Language:HaskellGPL-3.0000
omog
Implementing a bezier and a spline curve while ensuring they have continuity
Language:Python000
coq-cpl-to-ll-translation-proof
Formalizing the translation from classical propositional logic to linear logic in coq
OGRC_internet_access_control
A program developed to control the ports of a switch using SNMP
ant_cluster
An ant clustering algorithm developed while attending the Artificial Inteligence discipline at UDESC.
Language:Python000