ggreif Goto Github PK

adjunctions

Simple adjunctions

agda

Agda is a dependently typed programming language / interactive theorem prover.

al4nin

Automatically exported from code.google.com/p/al4nin

alga

Algebraic graphs

aquamacs-web-site

The homepage of Aquamacs!

assemblyscript

Definitely not a TypeScript to WebAssembly compiler 🚀

asterius

A Haskell to WebAssembly compiler

atom

The hackable text editor

atom-1

A DSL for embedded hard realtime applications.

atom-swift-debugger

blodwen

A prototype successor to Idris

blog

It's a blog. Insert clever Haskell type signature here.

blog-1

The contents of ocharles.org.uk/blog

bostonhaskell2015

[Talk] Framing the Discussion with EDSLs

categories

categories from category-extras

catt

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories

clash-compiler

CAES Language for Synchronous Hardware

clash-ground

Experiments with CλaSH

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

compiler-explorer-image

Setup for Amazon EC2 image to run a gcc explorer

containers

Assorted concrete container types

conway

Demonstrating comonad transformers.

dfinity-vue

🌱 Vue.js integration with DFINITY SDK bootstrap webpack project.

doctest

An implementation of Python's doctest for Haskell

dunai

Functional Reactive Programming using Monadic Stream Functions

dune

A composable build system for OCaml.

dynamic-loader

Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.

emamux-ghci

tmux based GHCI driver for Emacs

engine-mode

Minor mode for defining and querying search engines through Emacs.