lthms/chain lthms/chain

  • Stars
    star
    13
  • Rank 1,484,316 (Top 30 %)
  • Language
    Haskell
  • Created over 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lthms/chain
github

lthms

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Extensible, Type Safe Error Handling in Haskell

More Repositories

1

spatial-shell

Implementing a spatial model inspired by Material Shell, for i3 and sway.
OCaml
80
star
2

FreeSpec

A framework for implementing and certifying impure computations in Coq
Coq
51
star
3

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el
Emacs Lisp
34
star
4

coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq
Coq
9
star
5

ogam

A markup language for story writers
Rust
4
star
6

manuscript

My PhD thesis
TeX
3
star
7

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml
OCaml
2
star
8

speccert

Specifying and Verifying Hardware-based Security Enforcement
Coq
1
star
9

lkn-series

Tutorials about lkn
Makefile
1
star
10

auth-token

Token-based Authentication
Haskell
1
star
11

bepo-tsrn.nvim

Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
Lua
1
star
12

keyr

A collection of tools to keep track of your keystrokes
Rust
1
star
13

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects
1
star