jkoppel Goto Github PK

analytics-android

The hassle-free way to add analytics to your Android app.

analytics-ios

The hassle-free way to integrate analytics into any iOS application.

assassinate_the_assassin

A 3D browser-based tactical first-person sworder

big-bench

Beyond the Imitation Game collaborative benchmark for enormous language models

cardtable

Free-motion environment for playing cards online

cider

The Clojure Interactive Development Environment that Rocks for Emacs

code-learning-study-setup

compdata

Haskell library implementing "Data Types a la Carte"

compstrat

Strategy combinators for compositional data types

comptrans

Translation of ASTs into multi-sorted compositional data types

deepseq-generics

GHC.Generics-based Control.DeepSeq.rnf implementation

derive

A Haskell program and library to derive instances for data types

devel

PG-Strom - Master development repository

django

The Web framework for perfectionists with deadlines.

django-battleships

A multiplayer game of Battleships using the Django framework.

dogbunny-petri

CPNTools Petri Net file to accompany my blog post "Solving the Dog-Bunny Puzzle with Program Verification Technology"

ecta

equivalence

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

graal

GraalVM: Run Programs Faster Anywhere :rocket:

hare

The Haskell Refactoring Tool

hashtables

Mutable hash tables for Haskell, in the ST monad

imperativehaskell

Proof that Haskell can look and act like an imperative language.

jsontools

JSON Patch, JSON Pointer, and JSON Schema Validation in Objective-C

kure-your-boilerplate

An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic

language-c

git mirror of language-c darcs repo at http://code.haskell.org/language-c

language-java

Java parser and printer for haskell

language-javascript

Parser for JavaScript, in Haskell

mandate

Automatically deriving control-flow graph generators from operational semantics

medicalinfo

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