pkel Goto Github PK

a-culfw

Alternative culfw

aftconf.github.io

barepid

beets

music library manager and MusicBrainz tagger

beets-alternatives

Beets plugin to manage external files

blocksci

A high-performance tool for blockchain science and exploration

bucklescript-tea

TEA for Bucklescript

bucklescript-tea-starter-kit

Starter kit for bucklescript with the elm architecture

colmena

A simple, stateless NixOS deployment tool

cpr

consensus protocol research

crypto-portfolio

Command line reports for cryptocurrency portfolios using coinmarketcap.com data

dream

Tidy, feature-complete Web framework

dream-dashboard

Analytics and Monitoring dashboard for Dream

dune

A composable build system for OCaml

ergo

The Ergo Language for Smart Legal Contracts

ffr-cms

Small CMS-like frontend for use with static site generators

ghm

Booking management for small guesthouses

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

hledger

A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.

hotpow

HotPoW. Consensus Protocol and Simulation

htmx

</> htmx - high power tools for HTML

idris-dev

A Dependently Typed Functional Programming Language

incr_dom_widgets

A library of libraries and widgets for Incr_dom applications.

mainroad

Responsive, simple, clean and content-focused Hugo theme based on the MH Magazine lite WordPress theme

mirage-www

Website infrastructure and content for mirage.io

nixpkgs

Nix Packages collection & NixOS

ocaml-notmuch

notmuch ocaml bindings

ocaml-tableau

Basic tableau prover written in ocaml

opam-repository

Main public package repository for opam, the source package manager of OCaml.

opium

Sinatra like web toolkit for OCaml