Giters
G. Allais (gallais)

gallais

Geek Repo

312

followers

165

following

162

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

sott

Simplified Observational Type Theory

Language:OCamlStargazers:80Issues:0Issues:0

prettiest

The Prettiest Printer

Language:HaskellLicense:GPL-3.0Stargazers:35Issues:0Issues:0

Leaflet

🍃 JavaScript library for mobile-friendly interactive maps 🇺🇦

Language:JavaScriptLicense:BSD-2-ClauseStargazers:41109Issues:0Issues:0

tp

Strongly Typed Paths for Idris

Language:IdrisLicense:MITStargazers:8Issues:0Issues:0

ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

Stargazers:31Issues:0Issues:0

epigram1

A version of Epigram 1 that can run with newer GHCs

Language:HaskellStargazers:52Issues:0Issues:0

dsss17

Lecture material for DeepSpec Summer School 2017

Language:CoqStargazers:86Issues:0Issues:0

foundation

Empire strikes back

Language:HaskellLicense:NOASSERTIONStargazers:464Issues:0Issues:0

typecoin

Typecoin: Massively Multiplayer Online Linear Logic

Language:Standard MLLicense:MITStargazers:18Issues:0Issues:0

cut-fill-agda

Agda sources used in my paper with Valeria de Paiva

Language:AgdaStargazers:8Issues:0Issues:0

notation

Collection of quotes on notation design & how it affects thought.

Stargazers:1846Issues:0Issues:0

malfunction

Malfunctional Programming

Language:OCamlLicense:NOASSERTIONStargazers:337Issues:0Issues:0

ensengreve.github.io

Language:HTMLStargazers:1Issues:0Issues:0

red-flag-of-fp

The Red Flag of Functional Programming

Language:RacketStargazers:105Issues:0Issues:0

NormalisationByCompleteness

Language:CoqStargazers:2Issues:0Issues:0

evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

Language:HaskellStargazers:8Issues:0Issues:0

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqLicense:NOASSERTIONStargazers:250Issues:0Issues:0

idris-containers

Various data structures for use in the Idris Language.

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

configifier

parser for config files, shell variables, command line args.

Language:HaskellLicense:AGPL-3.0Stargazers:22Issues:0Issues:0

Level-0

Haskell Snake clone.

Language:HaskellLicense:GPL-3.0Stargazers:35Issues:0Issues:0

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellLicense:GPL-3.0Stargazers:36193Issues:0Issues:0

automatically_update_github_pages_with_travis_example

An example of automatically updating GitHub Pages when you're using Travis CI.

Language:ShellStargazers:240Issues:0Issues:0

phat

Strongly typed file path and file system operations.

Language:OCamlLicense:ISCStargazers:27Issues:0Issues:0

lucid

Clear to write, read and edit DSL for writing HTML

Language:HaskellStargazers:282Issues:0Issues:0

whiskers

Moustache templates with Template Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:18Issues:0Issues:0

cbpv

Call-by-push-value in Celf

Stargazers:6Issues:0Issues:0

hadoom

A little Doom-like 2.5 game engine

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

twitter-conduit

Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.

Language:HaskellLicense:BSD-2-ClauseStargazers:158Issues:0Issues:0

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:746Issues:0Issues:0

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Stargazers:2784Issues:0Issues:0