teofr Goto Github PK

applied-fp-course

compprog

Practice on competitive programming

dw-ex

DataWeave examples

effect-handlers-bench

Benchmark repository of polyglot effect handler examples

ejerciciostaller

Ejercicios del taller de Álgebra I

eldiego

Short written algorithms, cheatsheet for ACM-ICPC

fstar

F* course at the 2019 ECI

gcc

hott-en-agda

Implementación de los fundamentos de HoTT en Agda; labandalambda.

hyperfine

A command-line benchmarking tool

libmprompt

Robust multi-prompt delimited control and effect handlers in C/C++

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

lorri

Your project's nix-env

makam

The Makam Metalanguage

meli-solar

Desafio MeLi

nixpkgs

Nix Packages collection

nojazzpreview

The idea behind this project is to scrape the New Orleans Jazz Fest site and create playlists for every day in Spotify, so you can get a preview of their music.

orgaii-tpiii

TPIII de OrgaII. Porque a Lucas no le gusta GitLab

pap

Ejercicios de PAP

pos

Pruebas de Oposición

retro-httpaf-bench

Benchmarking environment for http servers

rio18

Cursos de PVS y Haskell de Rio Cuarto 18

scala_school

Lessons in the Fundamentals of Scala

slider

An Arduino software for controlling a camera slider, the motor and the camera shutter

teofr.github.io

Página hueb

tikz-bayesnet-wlee

TikZ library for drawing Bayesian networks, graphical models and (directed) factor graphs in LaTeX. WLee style

transwriting

TRS - Translation Rewriting System

tryingactions

typed-racket

Typed Racket