pkel

University of Innsbruck, ATKonstanz

Pinned Repositories

lrt
LexiFi runtime types
Language:OCaml33 12 33
a-culfw
Alternative culfw
Language:C00
aftconf.github.io
Language:HTML0 0 00
cpr
consensus protocol research
Language:OCaml8 4 172
crypto-portfolio
Command line reports for cryptocurrency portfolios using coinmarketcap.com data
Language:OCaml2 2 01
ghm
Booking management for small guesthouses
Language:OCaml3 3 01
hotpow
HotPoW. Consensus Protocol and Simulation
Language:OCaml3 2 00
ocaml-tableau
Basic tableau prover written in ocaml
Language:OCaml1 2 00
pvec
Persistent vectors for OCaml
Language:OCaml2 1 00
sqlite3-ocaml
OCaml bindings to the SQLite3 database
Language:OCaml2 0 01

pkel's Repositories

pkel/cpr
consensus protocol research
Language:OCaml8 4 172
pkel/ghm
Booking management for small guesthouses
Language:OCaml3 3 01
pkel/hotpow
HotPoW. Consensus Protocol and Simulation
Language:OCaml3 2 00
pkel/pvec
Persistent vectors for OCaml
Language:OCaml2 1 00
pkel/sqlite3-ocaml
OCaml bindings to the SQLite3 database
Language:OCaml2 0 01
pkel/ocaml-notmuch
notmuch ocaml bindings
Language:OCaml1 2 00
pkel/a-culfw
Alternative culfw
Language:C00
pkel/aftconf.github.io
Language:HTML0 0 00
pkel/barepid
Language:C++0 1 00
pkel/beets-alternatives
Beets plugin to manage external files
Language:Python1 0
pkel/colmena
A simple, stateless NixOS deployment tool
Language:Rust0 0
pkel/dream
Tidy, feature-complete Web framework
Language:OCaml0 0
pkel/dream-dashboard
Analytics and Monitoring dashboard for Dream
Language:OCaml0 0
pkel/dune
A composable build system for OCaml
Language:OCaml2 0
pkel/ergo
The Ergo Language for Smart Legal Contracts
Language:Coq1 0
pkel/ffr-cms
Small CMS-like frontend for use with static site generators
Language:OCaml1 4
pkel/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
Language:Go0 0
pkel/hledger
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
Language:Haskell0 0
pkel/htmx
</> htmx - high power tools for HTML
Language:JavaScript0 0
pkel/incr_dom_widgets
A library of libraries and widgets for Incr_dom applications.
Language:OCaml2 0
pkel/Mainroad
Responsive, simple, clean and content-focused Hugo theme based on the MH Magazine lite WordPress theme
Language:HTML2 0
pkel/mirage-www
Website infrastructure and content for mirage.io
Language:HTML
pkel/nixpkgs
Nix Packages collection & NixOS
Language:Nix1 0
pkel/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0
pkel/opium
Sinatra like web toolkit for OCaml
Language:OCaml1 0
pkel/parany
Parallelize _anything_ //
Language:OCaml0 0
pkel/postgrest-docs
Documentation for
Language:Python1 0
pkel/qcert
Compilation and Verification of Data-Centric Languages
Language:Coq1 0
pkel/spec
WebAssembly specification, reference interpreter, and test suite.
Language:WebAssembly1 0
pkel/spin
OCaml project generator.
Language:OCaml0 0