jkarni

api-guidelines

Microsoft REST API Guidelines

kilo

A text editor in less than 1000 LOC with syntax highlight and search.

web3

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

radicle-alpha

A peer-to-peer stack for code collaboration

category-theory-programmers

Category theory in the context of (functional) programming

generic-lens

Generically derive traversals, lenses, and prisms.

marelle

Test-driven system administration with a little extra logic.

malfunction

Malfunctional Programming

lawvere

A categorical programming language with effects

nixus

Experimental deployment tool supporting multi-host abstractions

legacy-old-hercules

Abandoned

us-forms-system

Build React forms with JSON Schema and the U.S. Web Design System

hercules-ci-agent

https://hercules-ci.com build and deployment agent

haskell-servant-realworld-example-app

servant-template

Cookiecutter template for Servant projects

bookkeeper

http-api-data

Converting to/from HTTP API data like URL pieces, headers and query parameters.

nixexprs

Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions

DataLeverageRoundup

A roundup of:

records-sop

Experimental implementation of generic record subtyping

snakes-demo

Snakes game demo.

template-coq

Reflection library for Coq

oso

Haskell bindings to the Polar query engine and Oso authorization library

servant-aeson-specs

Generically obtain tests for JSON serialization

picket

Collective bargaining for netizens

servant-python

Generate python client code for servant.

servant-api-check

relatable

a pure, strongly typed relational algebra library

typer

An experimental functional programing language. Typer combines a proof assitant and a powerful macro system to generate safer code.

explain