gallais

gallais's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown302k5.4k67828.4k

• sylvainhalle/textidote

  Spelling, grammar and style checking on LaTeX documents

  Language:Java927720468

• stedolan/counterexamples

  Counterexamples in Type Systems

  Language:JavaScript372161123

• netbrain/zwift

  Easily zwift on linux

  Language:Shell244109027

• quchen/generative-art

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

  Language:Haskell1486487

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell13089522

• wenkokke/schmitty

  Agda bindings to SMT-LIB2 compatible solvers.

  Language:Agda9412149

• alexhumphreys/idrall

  Dhall bindings for Idris

  Language:Idris40547

• Z-snails/Idris2-Grin

  GRIN backend for Idris2

  Language:Idris32613

• sweirich/lennart-lambda

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

  Language:HTML28201

• wenkokke/idris-sesh

  Session types in Idris2!

  Language:Idris26401

• jespercockx/agda2scheme

  Compiler backend for generating Scheme code

  Language:Haskell254144

• jfdm/sta-latex

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

  Language:TeX25302

• kasiaMarek/TyRE

  Language:Idris23632

• ziman/idris-data-frame

  Data frames for Idris 2

  Language:Idris21310

• laMudri/generic-lr

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

  Language:Agda20601

• MevenBertrand/NbEReadingGroup

  A repository for material from the reading group on NbE

  17501

• coq-community/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:Coq1550

• mattpolzin/ncurses-idris

  A hobby implementation of an ncurses binding for Idris 2

  Language:Idris15442

• msp-strath/cs316-functional-programming

  CS316 "Functional Programming" lecture notes

  Language:Haskell12304

• impega/reciptacle

  Receptacle for recipes

  Language:Shell8742

• jdanyow/slack-direct

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

  732

• JoeyEremondi/idris2-sizes

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

  Language:Idris6200

• adamgundry/hsmith

  Random generation of well-typed Haskell programs

  Language:Haskell5300

• fredrikNordvallForsberg/CS410-20

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

  Language:Agda5711

• permui/reproduce-papers

  Reproducing results in papers to understand them.

  Language:Agda5200

• scottish-pl-institute/scottish-pl-institute.github.io

  SPLI website

  Language:CSS5532

• conal/agda-play

  Miscellaneous experiments in Aga

  Language:Agda440

• jfdm/packer-idris

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

  Language:Shell3301

• Mediocorite/SerializedTrees

  A library for creating and managing serialized trees.

  Language:HTML2