chrilves

elm-io

Pure IO like monad

raffiot.py

Robust And Fast Functional IO Toolkit

gadt.scala

Generalized Algebraic Data Types example in Scala

big4-tutorial

Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case.

f-algebra-talk

Présentation F-Algèbres et F-CoAlgèbres

slimetrail.scalajs

Slimetrail game in ScalaJS (http://www.di.fc.ul.pt/~jpn/gv/slimetrail.htm)

kuzh

Questions/Réponses Anonymes

auto-batch

Automatic Batching of API calls Scala Library

chrilves.github.io

Gadts.hx

Generalized Algebraic Data Types examples in Haxe

awsutils

coding-game.hx

Solutions and tools of Coding Game puzzles

CoSlide

ScalaJS Presentation Framework

dotty-advent-of-code-2019

Advent Of Code 2019 in Dotty

elm-asm

elm-parser

Elm monadic parsers with generic input

git-merge-dangers

The dangers of git merge

gospeak

A platform to help meetup organizers and speakers grow together

hugo-theme-learn

Porting Grav Learn theme to Hugo

hyper-tungstenite-rs

websockets for hyper servers, backed by tungstenite

Idris-dev

A Dependently Typed Functional Programming Language

KaTeX

Fast math typesetting for the web.

open-baskerville

An open font project to create a revival of Fry’s Baskerville

paris-idris-group-vms

Virtual Machines for the Paris Idris Group

precepte

Précepte is an opinionated scala monitoring library

scala-js

Scala.js, the Scala to JavaScript compiler

scala-seed.g8

Giter8 template for a simple hello world app in Scala.

typed

Category Theory implementation in Scala heavily using techniques from Dependent Types

validation

validation api extracted from play

vopono

Run applications through VPN tunnels with temporary network namespaces