A Fantasy Console intended as a tool for pixel art game development.

Set up a specific version of Agda for your GitHub Actions workflow.

Agda is a dependently typed programming language / interactive theorem prover.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A graphical interactive proof assistant designed for education

The agda-unimath library

Java Foreign Linker bindings to Lua

Provas e gabaritos da POSCOMP, sem marcação das respostas 📚

A visual Haskell

⚠️ This repo has moved to https://github.com/LibreScore/dl-librescore ⚠️ | Download sheet music (MSCZ, PDF, MusicXML, MIDI, MP3, download individual parts as PDF) from musescore.com for free, no lo…

Very WIP static analysis for Lua

A collection of Notes on GHC

A simple and concise templating engine that takes advantage of elegant Lua syntax.

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

A Dependently Typed Functional Programming Language

Get more system memory

Functional programming with fewer indirections

Yet another Lisp variant which compiles to Lua

IRC bot in COBOL-74

Predictable Haskell development environments with Cabal and Nix.

Anime Girls Holding Programming Books