mr-infty Goto Github PK

aether-app

Aether client app with bundled front-end and P2P back-end

asynqro

Futures and thread pool for C++ (with optional Qt support)

automorphic-techniques2018

Slides for a talk at the workshop "Automorphic Techniques in Arithmetic Geometry" in Berlin (08.-10.10.2018)

catala

Programming language for literate programming law specification

crd

Computing the Cohomology of Root Data

cwa-app-ios

Native iOS app using the exposure notification framework from Apple.

defense

eschalot

It is important to stress that we have not written this piece of software.

ffmpeg

gnome-shell-clock-override

Override the Gnome Shell clock with a new time format or text of your choice. Works with new versions of Shell such as 3.18

hott-book

Solutions of the exercises of the book "Homotopy Type Theory", a.k.a. "the HoTT book".

idris-algebra

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

idris-crypto

Implementation of cryptographic primitives using Idris

idris-dev

A Dependently Typed Functional Programming Language

idris-go

A formally verified implementation of Go.

idris-lisp

An empty code generator, to be used as a starting point for any new back ends.

idris-vim

Idris mode for vim

idris2

A purely functional programming language with first class types

idris2-vim

Vim mode for Idris 2

lean-liquid

💧 Liquid Tensor Experiment

learn-idris-pub

Public data for https://learn-idris.net/

paper-wallet

Tool for generating PDF print templates of paper wallets for Monero.

perfectoid-spaces

A formalization of the concept of a perfectoid space in the Lean formal theorem prover.

pgl2z

An implementation of the projective linear group of 2x2 matrices over the integers (extended modular group) as a Coxeter group in Sage.

sparse

A simple (toy) parser combinator library for educational purposes.

tapl

Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.

tdd

Solutions to the exercises in 'Type-Driven Development with Idris'

the-hott-book

A textbook on informal homotopy type theory.

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

us-elections2020

A statistical analysis of the election results of the general election 2020.