gallais/MiniAgda-mode

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Emacs Lisp
Created almost 11 years ago
Updated almost 11 years ago

gallais/MiniAgda-mode

gallais

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An emacs mode for MiniAgda

agdarsec

Total Parser Combinators in Agda

idris-tparsec

TParsec - Total Parser Combinators in Idris

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

potpourri

Where my everyday research happens

agda-sizedIO

IO using sized types and copatterns

aGdaREP

Implementing grep in Agda

agda-presburger

Deciding Presburger arithmetic in agda

typing-with-leftovers

Self-contained repository for the eponymous paper

pearl-binary-search

Functional Pearl: Certified Binary Search in a Read-Only Array

agda-nbe

Formalizing nbe in agda

thesis

Syntaxes with Binding, Their Programs, and Proofs

type-scope-semantics

A self-contained repository for the paper Type and Scope Preserving Semantics

agdarky

Agda suffices: software written from A to Z in Agda

idris-tmustache

Total Logic-Less Templating Library

agdARGS

Dealing with Flags and Options

proof-search-ILLWiL

A self-contained repo for the ILLWiL paper

great-library-of-idris

A crowd-sourced list of papers using Idris

CS410-2024

Content of the CS410 lectures

dot-analysis

Analysing dependency graphs produced by Agda

idris-free

Various Free-X experiments

gallais.github.io

My website, now generated using Hakyll

metamorphismsinagda

STRINaGda

Dependent Stringly-Typed Programming

syntax-with-binding

A Generic Treatment of Syntaxes with Binding in Haskell

ocaml-sparse-matrix

Implementation of Sparse Matrices in Ocaml using Batteries

countdown

agda-pretty-notgreedy

Port of Bernardy's Functional Pearl: A Pretty But Not Greedy Printer

coolcat

conkysh

An excuse to have a bit of fun with the Haskell X11 bindings

idris-dhcli

Declarative Hierarchical Command Line Interfaces

sleepp

A sleep with a progress bar

word-arithmetic

Arithmetic on unsigned integers, in Haskell

dailyprogrammer

Solutions to problems found on /r/dailyprogrammer