glmxndr Goto Github PK

1had

1 Haskell A Day exercises

aga-demo

albums

Sample application for my blog series on creating a Single Page CRUD app using Elm and Haskell

aoc-2018

Code and Development environment for adventofcode.com - 2018 edition

atom-language-idris

A Idris Mode for Atom.io

blorg

Minimalist website engine based on org-mode + org-js

cdf-sem-meca

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020

classtemplater

Class based code generator for Eclipse

confets

Conf[ig snipp]ets

dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

dockerfiles

elm-spa-example

A Single Page Application written in Elm

ergodoxez-layout

Layout for the ergodox-ez keyboard

ghost-t10r

Ghost Translator - Generate ResourceBundle key accessors

hadoop-training

Hadoop training material from free MapR courses.

idris-ct

formally verified category theory library

idris-dev

A Dependently Typed Functional Programming Language

idris-jvm

JVM bytecode backend for Idris

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-tparsec

TParsec - Total Parser Combinators in Idris

idris2

A purely functional programming language with first class types

idris2-mode

Emacs mode for Idris2

idrisregexp

Regular expression matching in Idris

introspect-constrain

introspect-namespace

introspect-pryfs

introspect-stream

introspect-typed

jekyll-seo-tag

A Jekyll plugin to add metadata tags for search engines and social networks to better index and display your site's content.

jfunky

Functional testing in Java with RSpec like flavour