agustinmista Goto Github PK

arepa

A mini lazy functional programming language compiled using LLVM

arepa-zephyr

Programming microcontrollers using the arepa language

argparser

attoparsec

A fast Haskell library for parsing ByteStrings

avr-playground

Programming AVR microcontrollers inside a DevContainer

bim

Basic image manipulation eDSL for Haskell

bstree

circuitpythonsketches

Some sketches using CircuitPython

coq

Class assignments for course "Formal Construction of Programs using Type Theory"

dfs

A basic distributed file system server implemented both in C and Erlang

dm

Data Mining course assignments

easycrypt-docker

A Docker image with EasyCrypt, Z3, Alt-Ergo, and Doom Emacs with Proof-General preinstalled :D

firepeerreview

A small Python script to send Fire submissions via email for peer review.

flimsy

guestbook

A small guestbook webserver in Haskell, made for no reason other than to prove a point.

haskell-wasm

Haskell WebAssembly Toolkit

haskelzinc

Constraint programming in Haskell through MiniZinc

hpcpp

A fork of the Haskell HPC tool with support for creating html over multiple tix inputs

latex-lhs2tex-docker

An Ubuntu image with Texlive-full and Lhs2TeX preinstalled

lis

Simple interpreted language implemented in Haskell

lismonad

mdviewer

Minimalistic Markdown viewer/converter with built-in Css stylesheets support.

megadeth

MEga DErivation with Template Haskell

mini_vm

A «very» basic virtual machine written in C

mirror-to-gitea

Mirror your github repositories to your gitea server

ml

Machine Learning course assignments

nachos

pico-sdk

positron

Effortlessly control your Home Assistant devices using keyboard shortcuts

pyaudioselector

Python written GTK3 AppIndicator to easily route between PulseAudio sources and sinks.