panaeon Goto Github PK

advent-of-code2017

anonymous-voting

Exploration of the paper "Anonymous voting by two round public discussion"

beancount-racket

Beancount language for Racket

cv

Résumé

dhall-haskell

A configuration language guaranteed to terminate

dhall-lsp-server

[This Repo is Deprecated] for new builds go to dhall-haskell repo

doobie-fixpoint

dotty

Research platform for new language concepts and compiler technologies for Scala.

eva

expenses

functional-algorithm

haskell-lsp

Haskell library for the Microsoft Language Server Protocol

haven-and-hearth-client-modified-by-ender

Client for Haven and Hearth MMORPG

hearth-haven-groovy-bot

Hearth&Haven Groovy Bot

higher-dimmensions

hindley-milner

exploration in hindley-milner

jtextportal

2d portal-like game prototype, written with Scala and Box2d

knight-tour

latr

A scala macro for reasonable lazy semantics

learngitbranching

An interactive git visualization to challenge and educate!

lens-over-tea

my fiddling with lens-over-tea blogpost

libtorrent-sys

Rust API / cxx bindings for libtorrent

metals

Work-in-progress language server for Scala

nerveux.nvim

A neovim plugin written in lua to interact with the neuron Zettelkasten software.[fork]

ninety-nine

My solutions for 99-haskell-problems

nixpkgs

Nix Packages collection

omnibus

ormolu

A formatter for Haskell source code

panaeon

purescript-css-properties

Get a list of CSS properties or value keywords