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.haskelm-old
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 LanguageToolaoc-2020-idris
My Idris2 solutions/attempts for Advent of Code 2020lambda-pi-constraint
GDTL-artifact
A Gradual Dependently-typed LanguageUBC-Metropolis-Beamer
Metropolis Beamer theme with UBC Colors and Logoelm-build-lib
A library for compiling Elm to JavaScript from within Haskellidris2-sizes
Chan-style sized types for Idris 2, including a max operatorvscode-ott
Ott Support for Visual Studio Codeidris-aoc-2021
Advenct of Code 2021: over-engineered in Idris!elm-benchmark
Benchmarking for Elm based on benchmark.jsElmObjParser
OBJ parsing and rendering tools for Elmhelium
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.SetConstraintsSMT
Code for "Set Constraints, Pattern Match Analysis and SMT"elm-build-lib-old
Haskell library wrapper around the Elm executable, to build files from within Haskellelm-SafeLists
Lists which encode their length in the typeelm-travis-cache-old
Build and store Elm binaries for use on TravisCIelm-pattern-effects
Type and effect system for Pattern match analysis in ElmHakyll-executable
The Hakyll source and executable for my pageelm-summer-opt
Summer work on optimizing the Elm compilerElmBunnyDemo
Demo of Elm WebGL with a large number of verticesai-vs-ai-common
Common library imported when writing strategies for AI-vs-AIelm-type-effect
Working repository for Utrecht APA Types and Effect progammingelm-escapable-state
tikzedt
Automatically exported from code.google.com/p/tikzedtutrecht-pv
Repository for Program Verification at Utrechthaskelm-demo
treewidth-memoization
An experiment attempting to find a (moderately) space-efficient algorithm for calculating exact treewidtharray-multidim
Type-safe Multi-dimensional arrays in Elmutrecht-apa-p1
Project 1 for Automatic Program Analysishelium-Top
eremondi.com-hakyll
Hakyll source for eremondi.comcodenvy-elm-docker
A basic Dockerfile for running elm-reactor on Codenvytreewidth-algorithms
Automatically exported from code.google.com/p/treewidth-algorithmsai-vs-ai-public
Love Open Source and this site? Check out how you can help us