jasoncarr0 Goto Github PK

-co-algebracheatsheet

List of initial algebras and final coalgebras of functors

ackermann.dhall

Ackermann function in Dhall

akka-http-hal

HAL (Hypermedia Application Language) specification support for akka-http

awesome-pl-buzzwords

An awesome list for Programming Language buzzwords/concepts

code_sample

An Elixir project scaffold, useful for interviewing

corral

:horse: Pony dependency manager tool

elm-format

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

elm-json-hal

Decoders for JSON using Hypertext Application Style links

generating

Old and messy haskell library for generating functions and polynomials

heptagon

keep-a-changelog

If you build software, keep a changelog.

literallythelasthour

Machine learning HPI last minute repo

mare

A reimagining of the Pony language. :crystal_ball::racehorse::sparkles:

mlsub

Prototype type inference engine

mlton

The MLton repository

moving_gc_arena

Moved to gitlab. Rust crate for safe lightweight regions with performant garbage collection

nixpkgs

Nix Packages collection

openvpn

OpenVPN is an open source VPN daemon

orderings

Library for haskell orderings (pre-, partial), bounded types, and enumeration from this

pony-tutorial

:horse: Tutorial for the Pony programming language

ponyc

:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language

reddit-switcharoo-crawler

Crawler (haskell + Reddit api via reddit package + url parsing) to dig through /r/switcharoo and build a graph of every switcharoo comment

rfcs

:horse: RFCs for changes to Pony

ritlug.github.io

RITlug website

scala-dice

Unfinished mini probability and statistics library

sdl.vim

Vim Syntax highlighting file for the Simple Declarative Language

sidewalk-colorscheme

Bright and distinctive vim colorscheme

staff

A musical programming language (placeholder name)

thesis-formalization-code

Code from my MS Thesis

vimrc

My vimrc