JoeyEremondi/elm-SafeLists JoeyEremondi/elm-SafeLists

  • Stars
    star
    1
  • Language
    Elm
  • License
    BSD 3-Clause "New...
  • Created about 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JoeyEremondi/elm-SafeLists
github

JoeyEremondi

Reviews

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

Repository Details

Lists which encode their length in the type

More Repositories

1

haskelm

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

pl-lt-rules

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

aoc-2020-idris

My Idris2 solutions/attempts for Advent of Code 2020
Idris
17
star
4

haskelm-old

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

lambda-pi-constraint

Haskell
16
star
6

GDTL-artifact

A Gradual Dependently-typed Language
Racket
14
star
7

UBC-Metropolis-Beamer

Metropolis Beamer theme with UBC Colors and Logo
TeX
11
star
8

elm-build-lib

A library for compiling Elm to JavaScript from within Haskell
Haskell
7
star
9

idris2-sizes

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

vscode-ott

Ott Support for Visual Studio Code
Coq
5
star
11

idris-aoc-2021

Advenct of Code 2021: over-engineered in Idris!
3
star
12

elm-benchmark

Benchmarking for Elm based on benchmark.js
JavaScript
3
star
13

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.
Haskell
3
star
14

ElmObjParser

OBJ parsing and rendering tools for Elm
Elm
3
star
15

elm-build-lib-old

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

SetConstraintsSMT

Code for "Set Constraints, Pattern Match Analysis and SMT"
C++
2
star
17

lean-cwf

A basic Categories with Families library for Lean
Lean
2
star
18

elm-travis-cache-old

Build and store Elm binaries for use on TravisCI
1
star
19

Hakyll-executable

The Hakyll source and executable for my page
Haskell
1
star
20

elm-summer-opt

Summer work on optimizing the Elm compiler
Haskell
1
star
21

ElmBunnyDemo

Demo of Elm WebGL with a large number of vertices
Elm
1
star
22

ai-vs-ai-common

Common library imported when writing strategies for AI-vs-AI
Haskell
1
star
23

elm-type-effect

Working repository for Utrecht APA Types and Effect progamming
Haskell
1
star
24

elm-escapable-state

Elm
1
star
25

tikzedt

Automatically exported from code.google.com/p/tikzedt
C#
1
star
26

elm-pattern-effects

Type and effect system for Pattern match analysis in Elm
Haskell
1
star
27

utrecht-pv

Repository for Program Verification at Utrecht
Haskell
1
star
28

haskelm-demo

Haskell
1
star
29

array-multidim

Type-safe Multi-dimensional arrays in Elm
Elm
1
star
30

utrecht-apa-p1

Project 1 for Automatic Program Analysis
Haskell
1
star
31

helium-Top

Haskell
1
star
32

eremondi.com-hakyll

Hakyll source for eremondi.com
Haskell
1
star
33

codenvy-elm-docker

A basic Dockerfile for running elm-reactor on Codenvy
1
star
34

treewidth-algorithms

Automatically exported from code.google.com/p/treewidth-algorithms
TeX
1
star
35

treewidth-memoization

An experiment attempting to find a (moderately) space-efficient algorithm for calculating exact treewidth
C++
1
star
36

JoeyEremondi

Config files for my GitHub profile.
1
star
37

ai-vs-ai-public

Haskell
1
star
38

smb-trees

An Agda Library for Strictly Monotone Brouwer Trees
TeX
1
star