ayberkt Goto Github PK

dialogue

Experiments with dialogue trees.

docker-agda

domains-and-locales-reading-group

elm-mdl

Elm-port of the Material Design Lite CSS/JS library

euler_bench

using the euler projects as a source to benchmark lanugages

eva

R5RS Scheme implemented in Haskell.

ferrante-rackoff

[WIP] A tutorial implementation of Ferrante and Rackoff's quantifier elimination algorithm for rationals.

firstorderunificationinagda

Implementation of McBride's "First-order unification by structural recursion" in Agda.

formal-topology-in-uf

Formal Topology in Univalent Foundations (WIP).

gf

GF, Grammatical Framework, is a programming language for multilingual grammar applications.

gf-rgl

Grammatical Framework's Resource Grammar Library (RGL)

gf-summer-school

Code and notes from the fifth GF summer school.

gf-twelf

Translate Twelf to other stuff—implemented in GF.

gfss-5-presentation

Final presentation for the fifth GF summer school.

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

grammar-inference

Learning rigid grammars in Haskell.

gstts-formal-topology-talk

Slides for a talk given at the Gothenburg-Stockholm Type Theory Seminar.

hmm

hidden markov models in haskell

homepage

instiki

a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.

k

The K tools

k-editor-support

Plugin files for editing K files

krivine-machine

Krivine's call-by-name machine.

lampi

Messing around with dependent types.

language-gf

Atom language support for Grammatical Framework.

language-k

language-twelf

Twelf language support for Atom.

latex-basis

Stuff I keep having to redefine in LaTeX.

linear-diophantine

An implementation of Contejean and Devie's algorithm for solving linear diophantine equations.

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!