Giters
G. Allais (gallais)

gallais

Geek Repo

305

followers

168

following

161

stars

Location:Glasgow, Scotland

Home Page:http://gallais.github.io

Github PK Tool:Github PK Tool

Organizations
agda
coqtail
frex-project
idris-community
idris-lang
msp-strath
poplmark-reloaded
scottish-pl-institute
spls-series

G. Allais's starred repositories

zwift

Easily zwift on linux

Language:ShellLicense:UnlicenseStargazers:227Issues:0Issues:0

cornelis

agda-mode for neovim

Language:HaskellLicense:BSD-3-ClauseStargazers:126Issues:0Issues:0

SerializedTrees

A library for creating and managing serialized trees.

Language:HTMLLicense:GPL-3.0Stargazers:2Issues:0Issues:0

NbEReadingGroup

A repository for material from the reading group on NbE

License:CC0-1.0Stargazers:17Issues:0Issues:0

idris2-sizes

Chan-style sized types for Idris 2, including a max operator

Language:IdrisLicense:BSD-3-ClauseStargazers:6Issues:0Issues:0

sta-latex

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.

Language:TeXStargazers:25Issues:0Issues:0

reproduce-papers

Reproducing results in papers to understand them.

Language:AgdaStargazers:5Issues:0Issues:0

generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Language:HaskellLicense:BSD-3-ClauseStargazers:147Issues:0Issues:0

agda2scheme

Compiler backend for generating Scheme code

Language:HaskellStargazers:24Issues:0Issues:0

scottish-pl-institute.github.io

SPLI website

Language:CSSStargazers:5Issues:0Issues:0

reciptacle

Receptacle for recipes

Language:ShellStargazers:8Issues:0Issues:0

TyRE

Language:IdrisLicense:MITStargazers:23Issues:0Issues:0

ncurses-idris

A hobby implementation of an ncurses binding for Idris 2

Language:IdrisLicense:MITStargazers:15Issues:0Issues:0

textidote

Spelling, grammar and style checking on LaTeX documents

Language:JavaLicense:GPL-3.0Stargazers:911Issues:0Issues:0

packer-idris

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.

Language:ShellStargazers:3Issues:0Issues:0

schmitty

Agda bindings to SMT-LIB2 compatible solvers.

Language:AgdaLicense:NOASSERTIONStargazers:94Issues:0Issues:0

counterexamples

Counterexamples in Type Systems

Language:JavaScriptStargazers:360Issues:0Issues:0

idris-sesh

Session types in Idris2!

Language:IdrisStargazers:24Issues:0Issues:0

idrall

Dhall bindings for Idris

Language:IdrisLicense:MPL-2.0Stargazers:39Issues:0Issues:0

Idris2-Grin

GRIN backend for Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:31Issues:0Issues:0

agda-play

Miscellaneous experiments in Aga

Language:AgdaStargazers:4Issues:0Issues:0

coqtail-math

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

Language:CoqLicense:NOASSERTIONStargazers:15Issues:0Issues:0

hsmith

Random generation of well-typed Haskell programs

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

CS410-20

being the teaching materials and exercises for CS410 in the 2020/21 session

Language:AgdaStargazers:5Issues:0Issues:0

lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Language:HTMLStargazers:28Issues:0Issues:0

slack-direct

Love slack? Hate slack-redir? Get slack-direct!

License:MITStargazers:7Issues:0Issues:0

idris-data-frame

Data frames for Idris 2

Language:IdrisStargazers:21Issues:0Issues:0

generic-lr

AACMM's generic-syntax, but with QTT-style annotations

Language:AgdaLicense:GPL-3.0Stargazers:19Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:288685Issues:0Issues:0

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.

Language:HTMLLicense:MITStargazers:29Issues:0Issues:0