Pinned Repositories
CompilerPCF
A compiler for PCF, made for the Compiler subject
ALP
This repository has all the assignments for the Programming Languages Analysis class. This includes, parsers, lambda calculus evaluators (untyped and typed)
BootstrapR
A use of Bootstrap technique in R for a Master Thesis in Statistics
DjangoTest
A test while learning Django
gatopicbot
A Cat pics Telegram bot attempt in Go
HaskDice
A DSL of dice rolls made in Haskell
Metodos
Scilab Codebook for Numerical Methods
NachOS
NachOS operating system
taller-git-sebas
Repositorio creado para el Taller git de @zimmsebas y @sebamoralesasd
ZimmSebas
ZimmSebas's Repositories
ZimmSebas/taller-git-sebas
Repositorio creado para el Taller git de @zimmsebas y @sebamoralesasd
ZimmSebas/HaskDice
A DSL of dice rolls made in Haskell
ZimmSebas/Metodos
Scilab Codebook for Numerical Methods
ZimmSebas/ZimmSebas
ZimmSebas/ALP
This repository has all the assignments for the Programming Languages Analysis class. This includes, parsers, lambda calculus evaluators (untyped and typed)
ZimmSebas/BootstrapR
A use of Bootstrap technique in R for a Master Thesis in Statistics
ZimmSebas/DjangoTest
A test while learning Django
ZimmSebas/gatopicbot
A Cat pics Telegram bot attempt in Go
ZimmSebas/GraphPlotter
Graficador de grafos
ZimmSebas/NachOS
NachOS operating system
ZimmSebas/IAA
Practical exercises for the elective subject Introduction to automated learning
ZimmSebas/LatexAutoCV
An experiment with Github Actions
ZimmSebas/MiniVM
Virtual Machine simulator in C
ZimmSebas/SecretHitlerBot
Telegram Bot to play SecretHitler tabletop game in a group. Work in progress
ZimmSebas/SoftEngTP
A final practical exercise for Software Engineer 2, which consist in a Z specification, invariant proofs using Z-Eves, {log} and Fastest testing
ZimmSebas/SubsetL
A simple DSL to manipulate finite sets.
ZimmSebas/TaTeTi-Server
TaTeTi distributed server in Erlang
ZimmSebas/TPIA
This repository has all the assignments for the Introduction to Artificial Intelligence class. Made with @ValeBini