jota191
Functional programmer, proof writer, PL researcher in training, Free Software hacker. Proud user of the GNU Operating System.
Universidad de la RepúblicaCanelones, Uruguay
Pinned Repositories
80crd
AAG
AspectAG
EDSL implementing strongly typed Attribute Grammars
idris-snippets
experimenting with Idris
jota191
poly-rec
polykinded heterogeneous extensible records in Haskell
requirements
A small framework to manage user defined type errors.
sat-solvers
Implementation of sat-solvers for propositional logic, comparing bruteforce and tableaux
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
jota191's Repositories
jota191/AspectAG
EDSL implementing strongly typed Attribute Grammars
jota191/jota191
jota191/poly-rec
polykinded heterogeneous extensible records in Haskell
jota191/requirements
A small framework to manage user defined type errors.
jota191/AAGExample
jota191/ams2-capermonterey
jota191/ams2-career
jota191/ArduinoJoystickLibrary
An Arduino library that adds one or more joysticks to the list of HID devices an Arduino Leonardo or Arduino Micro can support.
jota191/cadmus
A GUI frontend for @werman's Pulse Audio real-time noise suppression plugin
jota191/Coq-HoTT
A Coq library for Homotopy Type Theory
jota191/CREST2-AMS2
Automobilista 2 REST API - provides Shared Memory data via JSON over HTTP
jota191/cubical
An experimental library for Cubical Agda
jota191/example-dot-org
A good starting point for a clckwrks server
jota191/extensible-records
Extensible records for Idris
jota191/fosscord-client
Open source, themeable and extendable discord-compatible native fosscord client
jota191/Idris2
A purely functional programming language with first class types
jota191/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
jota191/iracing-replay-capture
A command line application to capture iRacing replays,
jota191/LMFI-HoTT
jota191/Matefun-agi
jota191/MatefunModularCompiler
jota191/Modding
jota191/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
jota191/programamuestra
jota191/rfactortools
rfactortools moved to https://gitlab.com/grumbel/rfactortools
jota191/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
jota191/smt-snippets
jota191/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
jota191/type-safe-avl
jota191/xmonad-config