JoeyEremondi/lambda-pi-constraint

Stars
16
Rank 1,311,288 (Top 26 %)
Language
Haskell
License
Other
Created about 9 years ago
Updated about 6 years ago

JoeyEremondi/lambda-pi-constraint

JoeyEremondi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

haskelm

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

pl-lt-rules

Rules for writing academic papers and checking them using LTex-ls and LanguageTool

aoc-2020-idris

My Idris2 solutions/attempts for Advent of Code 2020

haskelm-old

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

GDTL-artifact

A Gradual Dependently-typed Language

UBC-Metropolis-Beamer

Metropolis Beamer theme with UBC Colors and Logo

elm-build-lib

A library for compiling Elm to JavaScript from within Haskell

idris2-sizes

Chan-style sized types for Idris 2, including a max operator

vscode-ott

Ott Support for Visual Studio Code

idris-aoc-2021

Advenct of Code 2021: over-engineered in Idris!

elm-benchmark

Benchmarking for Elm based on benchmark.js

helium

Helium is a compiler for a subset of Haskell that aims at delivering high quality type error messages particularly for beginner programmers. It also includes facilities for specializing type error diagnosis for embedded domain specific languages. The compiler supports Haskell 98, but without the ability to define new type classes and instances.

ElmObjParser

OBJ parsing and rendering tools for Elm

elm-build-lib-old

Haskell library wrapper around the Elm executable, to build files from within Haskell

SetConstraintsSMT

Code for "Set Constraints, Pattern Match Analysis and SMT"

lean-cwf

A basic Categories with Families library for Lean

elm-SafeLists

Lists which encode their length in the type

elm-travis-cache-old

Build and store Elm binaries for use on TravisCI

Hakyll-executable

The Hakyll source and executable for my page

elm-summer-opt

Summer work on optimizing the Elm compiler

ElmBunnyDemo

Demo of Elm WebGL with a large number of vertices

ai-vs-ai-common

Common library imported when writing strategies for AI-vs-AI

elm-type-effect

Working repository for Utrecht APA Types and Effect progamming

elm-escapable-state

tikzedt

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

elm-pattern-effects

Type and effect system for Pattern match analysis in Elm

utrecht-pv

Repository for Program Verification at Utrecht

haskelm-demo

array-multidim

Type-safe Multi-dimensional arrays in Elm

utrecht-apa-p1

Project 1 for Automatic Program Analysis

helium-Top

eremondi.com-hakyll

Hakyll source for eremondi.com

codenvy-elm-docker

A basic Dockerfile for running elm-reactor on Codenvy

treewidth-algorithms

Automatically exported from code.google.com/p/treewidth-algorithms

treewidth-memoization

An experiment attempting to find a (moderately) space-efficient algorithm for calculating exact treewidth

JoeyEremondi

Config files for my GitHub profile.

ai-vs-ai-public

smb-trees

An Agda Library for Strictly Monotone Brouwer Trees