David Lahm's repositories

PHPMonads

Monads for PHP

Language:PHPLicense:GPL-2.0Stargazers:2Issues:0Issues:0

callmapper

Boolean methods on collections of objects as existential quantification

Language:PHPLicense:GPL-2.0Stargazers:0Issues:0Issues:0

citeproc-php

Full-featured CSL 1.0.1 processor for PHP

Language:PHPLicense:MITStargazers:0Issues:0Issues:0

cme

Creatures MOB-Engine for Minetest

Language:LuaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dhall-containerfile

Manage your Containerfile with Dhall.

Language:DhallStargazers:0Issues:0Issues:0

dhall-lang

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

gpio-notifications

Handle GPIO interrputs and generate HTTP requests

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hpio

Perform GPIO from Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

json-api

Haskell Implementation of the JSON-API specification

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

list-changes

List changed files in a git repository, including those belonging to submodules

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

minetestserver

Nix files for setting up a minetest server in a container

Language:NixLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

plugin-CustomTranslations

Translate entities and tracked values into different languages. For example Custom dimensions, dashboard names, custom report names, event values, ...

License:GPL-3.0Stargazers:0Issues:0Issues:0

public-key

just the public PGP key

Stargazers:0Issues:0Issues:0
Language:NixLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

ScoreCounter

A simple counter for game scores (intended for MTG) written using Reflex/Obsidian Obelisk

Language:HaskellStargazers:0Issues:0Issues:0

scsh

A Unix shell embedded in scheme

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Stargazers:0Issues:0Issues:0

styles-distribution

Official repository for distribution of validated CSL citation styles.

Stargazers:0Issues:0Issues:0
Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

typewriting-trainer

Browser application to practice typewriting skills

Language:ElmStargazers:0Issues:0Issues:0

unaligned

Fragmenting bytestrings into words of a length not divisible by 8 and application in an implementation of the LZW compression algorithm.

Language:HaskellStargazers:0Issues:0Issues:0