carberg Goto Github PK

algebraic_geometry

Implementation of some algebraic geometry algorithms in Haskell

algtop

Haskell library of algebraic topology

andromeda

A minimalist implementation of type theory, suitable for experimentation

arion

carberg.github.io

conway

conway's game of life (Haskell + OpenGL)

countdownproblem

cs1501-final

Haskell class final project -- game in Haskell.

cubicaltt

functionaljava

Functional programming in Java

ghcvm

A Haskell to JVM compiler that supports GHC Haskell.

haskell-emacs

Write Emacs extensions in Haskell

hasksymb

An Experiment in Haskell Symbolic Algebra

hott

Homotopy type theory

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

lambdacalculus

Haskell interpreter for lambda calculus

lambdapi

Dependently Typed Lambda Calculus in Haskell

language-java

Java parser and printer for haskell

learnhaskell

Learn Haskell

lux

The Lux Programming Language

monocle

Optics library for Scala

neo4j

Graphs for Everyone

netrobots

Fighting robots controlled by code.

reel.jl

computations caught on camera

scala-uri

Simple scala library for building and parsing URIs

scalatron

Scalatron, a multi-player programming game in which coders pit bot programs (written in Scala) against each other

scalaz

An extension to the core Scala library for functional programming.

stack

The Haskell Tool Stack

stackage-server

Server for stable, curated Haskell package sets

tamarin-prover

Main repository of the Tamarin prover for security protocol verification.