Beast code in Giters

Martino D'Adda's starred repositories

alex

A lexical analyser generator for Haskell

Language:HaskellBSD-3-Clause29300

agda

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

Language:HaskellNOASSERTION242800

optparse-applicative

Applicative option parser

Language:HaskellBSD-3-Clause90300

twelf-library

Library classes for the Twelf Proof System

Language:SWIGNOASSERTION2100

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Language:LuaGPL-3.0617400

twelf

The Twelf Programming Language

Language:Standard MLNOASSERTION10000

brick

A declarative Unix terminal UI library written in Haskell

Language:HaskellNOASSERTION158300

streamly

High performance, concurrent functional programming abstractions

Language:HaskellNOASSERTION85400

trouble.nvim

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Language:LuaApache-2.0522300

minted

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Language:TeX173200

neomake

Asynchronous linting and make framework for Neovim/Vim

Language:Vim ScriptMIT265600

ale

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

Language:Vim ScriptBSD-2-Clause1341700

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

93600

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION317900

minilisp

A readable lisp in less than 1k lines of C

Language:C144000

sweng

Progetto che ho coordinato di appunti condivisi del corso di Ingegneria del Software

Language:DockerfileNOASSERTION1700

plzoo

Programming Languages Zoo

Language:OCamlMIT144100

spartan-type-theory

Spartan type theory

Language:OCamlMIT24800

type-systems

Implementations of various type systems in OCaml.

Language:OCamlUnlicense152100

fromthetransistor

From the Transistor to the Web Browser, a rough outline for a 12 week course

508100

free-programming-books

:books: Freely available programming books

CC-BY-4.033019700

free-science-books

Inspired by free-programming-books, here's free-science-books

CC0-1.0172600

ila

Interactive Linear Algebra

Language:Python65800

C-Learning-Resources

Resources for learning C that are the best in my opinion.

Unlicense11300

RVVM

The RISC-V Virtual Machine

Language:CGPL-3.085100

pure-sh-bible

📖 A collection of pure POSIX sh alternatives to external processes.

Language:ShellMIT642100

helf

Haskell implementation of the Edinburgh Logical Framework

Language:HaskellMIT2600

aoc22

Advent of code 2022 solutions in APL

Language:APL300

wiwinwlh

What I Wish I Knew When Learning Haskell

Language:HaskellNOASSERTION255200

monad-challenges

A set of challenges for jump starting your understanding of monads.

Language:HaskellNOASSERTION32200