Patrik Keller (pkel)

pkel

Geek Repo

Company:University of Innsbruck, AT

Location:Konstanz

Home Page:pkel.dev

Github PK Tool:Github PK Tool

Patrik Keller's repositories

cpr

consensus protocol research

Language:OCamlStargazers:8Issues:0Issues:0

ghm

Booking management for small guesthouses

Language:OCamlStargazers:3Issues:3Issues:0

hotpow

HotPoW. Consensus Protocol and Simulation

Language:OCamlStargazers:3Issues:2Issues:0

pvec

Persistent vectors for OCaml

Language:OCamlLicense:ISCStargazers:2Issues:0Issues:0

sqlite3-ocaml

OCaml bindings to the SQLite3 database

Language:OCamlLicense:NOASSERTIONStargazers:2Issues:0Issues:0

ocaml-notmuch

notmuch ocaml bindings

Language:OCamlLicense:MITStargazers:1Issues:0Issues:0

a-culfw

Alternative culfw

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

beets-alternatives

Beets plugin to manage external files

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

colmena

A simple, stateless NixOS deployment tool

Language:RustLicense:MITStargazers:0Issues:0Issues:0

dream

Tidy, feature-complete Web framework

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

dream-dashboard

Analytics and Monitoring dashboard for Dream

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

dune

A composable build system for OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

ergo

The Ergo Language for Smart Legal Contracts

Language:CoqLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ffr-cms

Small CMS-like frontend for use with static site generators

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:1Issues:4

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

License:MITStargazers:0Issues:0Issues:0

hledger

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

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

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

incr_dom_widgets

A library of libraries and widgets for Incr_dom applications.

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

Mainroad

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

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

mirage-www

Website infrastructure and content for mirage.io

Language:HTMLLicense:ISCStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection & NixOS

License:MITStargazers:0Issues:0Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

opium

Sinatra like web toolkit for OCaml

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

parany

Parallelize _anything_ //

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

postgrest-docs

Documentation for

Language:PythonStargazers:0Issues:0Issues:0

qcert

Compilation and Verification of Data-Centric Languages

License:Apache-2.0Stargazers:0Issues:0Issues:0

spec

WebAssembly specification, reference interpreter, and test suite.

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

spin

OCaml project generator.

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0