JoeyEremondi/aoc-2020-idris

Stars
17
Rank 1,224,677 (Top 25 %)
Language Idris
License
BSD 3-Clause "New...
Created over 3 years ago
Updated over 3 years ago

JoeyEremondi/aoc-2020-idris

JoeyEremondi

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

My Idris2 solutions/attempts for Advent of Code 2020

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 LanguageTool

lambda-pi-constraint

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

ElmObjParser

OBJ parsing and rendering tools for Elm

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.

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 Haskell

elm-SafeLists

Lists which encode their length in the type

elm-travis-cache-old

Build and store Elm binaries for use on TravisCI

elm-pattern-effects

Type and effect system for Pattern match analysis in Elm

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

utrecht-pv

Repository for Program Verification at Utrecht

haskelm-demo

treewidth-memoization

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

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

JoeyEremondi

Config files for my GitHub profile.

ai-vs-ai-public