Name: Cristian Sottile
Type: User
I am a PhD Student at Universidad de Buenos Aires and member of the LoReL (Logic and Rewriting for Programming Languages) team. I work in the elaboration of new techniques for proving termination of programs (strong normalization) in different variants of typed lambda calculus, and in the design and implementation of programming languages equating isomorphic types.
autoconnect-unlp-wifi
auto-connect is a bash script which makes you stay logged in UNLP's WiFi network
bestnid_is2
cdtrote
cfsottile
Config files for my GitHub profile.
cfsottile.github.io
elektra-webserver
iwantmyflog
iwantmyflog is a script which allows you to download all the posts from a given fotolog account
lifia-semantic-augmentation
ls2017-taller-gui
ls2017-taller-robots
machine-learning-coursera
object-oriented-design
pdytr-2017-tp3
plfa
Lectura de Programming Language Foundations in Agda
programacion-funcional-unlp
project-euler
prolog-hs
prolog-in-haskell
Prolog interpreter written in Haskell
prolog-optimization
quick-cd
quick-cd is a Haskell program to access directories efficiently
recursos-lorel
swa-extension
swa-framework
Semantic Web Augmentation Framework
swax-is-eud-2019
the-little-schemer
ttps_ruby
unlp-cyplp
Conceptos y Paradigmas de Lenguajes de Programación
unlp_ttps-ruby_e-vader
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
