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

linear.agda

A library and case-study for linear, intrinsically-typed interpreters in Agda

Language:AgdaLicense:MITStargazers:33Issues:0Issues:0

ProgrammerCommaCon

being a collection of Agda-facilitated ramblings

Language:AgdaStargazers:33Issues:0Issues:0

strathbeamer

Strathclyde University LaTeX beamer template

Language:TeXLicense:MITStargazers:6Issues:0Issues:0

crowbar

Property fuzzing for OCaml

Language:OCamlLicense:MITStargazers:180Issues:0Issues:0

svgbob

Convert your ascii diagram scribbles into happy little SVG

Language:RustLicense:Apache-2.0Stargazers:3793Issues:0Issues:0

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions

Language:AgdaLicense:MITStargazers:38Issues:0Issues:0

infinite_gnossienne

An endless version of Erik Satie's Gnossiennes No. 1

Language:JavaScriptLicense:MITStargazers:91Issues:0Issues:0

ataca

A TACtic library for Agda

Language:AgdaStargazers:48Issues:0Issues:0

AutoInAgda-ECOSC

Repository for my experimentation project with AutoInAgda

Language:AgdaStargazers:2Issues:0Issues:0

agda-bench

Benchmarking tool for compile-time performance of Agda programs

Language:HaskellLicense:MITStargazers:18Issues:0Issues:0

proposal-agda-tutorial

Proposal for an Agda tutorial

Language:MakefileStargazers:10Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3170Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2850Issues:0Issues:0

agda-mode

agda-mode on Atom

Language:ReasonLicense:MITStargazers:59Issues:0Issues:0

smuggler

🚣 Smuggle all imports

Language:HaskellLicense:MPL-2.0Stargazers:71Issues:0Issues:0

browsh

A fully-modern text-based browser, rendering to TTY and browsers

Language:JavaScriptLicense:LGPL-2.1Stargazers:16755Issues:0Issues:0

Gigs-Summer-2018

what I did on my holidays

Language:AgdaStargazers:12Issues:0Issues:0

wrap_marker

Adds a wrap marker in the compose window (Thunderbird extension)

Language:JavaScriptStargazers:4Issues:0Issues:0

random-stuff

Language:AgdaStargazers:19Issues:0Issues:0

coq-interaction-trees

Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.

Language:CoqStargazers:17Issues:0Issues:0

FreeSpec

A framework for implementing and certifying impure computations in Coq

Language:CoqLicense:MPL-2.0Stargazers:51Issues:0Issues:0

logrel-mltt

A Logical Relation for Martin-Löf Type Theory in Agda

Language:AgdaLicense:MITStargazers:40Issues:0Issues:0

haskell-companies

A gently curated list of companies using Haskell in industry

License:UnlicenseStargazers:904Issues:0Issues:0

profile-summary-for-github

Tool for visualizing GitHub profiles

Language:VueLicense:Apache-2.0Stargazers:19833Issues:0Issues:0

agda-vm-sample

Language:ShellLicense:MITStargazers:1Issues:0Issues:0

strong-normalization

Formalizations of strong normalization proofs

Language:TeXLicense:UnlicenseStargazers:34Issues:0Issues:0

dune

A composable build system for OCaml.

Language:OCamlLicense:MITStargazers:1570Issues:0Issues:0

tikzcd-editor

A simple visual editor for creating commutative diagrams.

Language:JavaScriptLicense:MITStargazers:1863Issues:0Issues:0

frank

Frank compiler

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

sott

Simplified Observational Type Theory

Language:OCamlStargazers:78Issues:0Issues:0