Pinned Repositories
biscuit
delegated, decentralized, capabilities based authorization token
biscuit-haskell
biscuit-rust
Rust implementation of the Biscuit authorization token
biscuit-wasm
WebAssembly wrapper for Biscuit authorization tokens
blog
hammertime
Simple time tracker
haskle
Source code for haskle.net
jDbT
jinx Database Tools
PHPZ
Functional programming in PHP
divarvel's Repositories
divarvel/haskle
Source code for haskle.net
divarvel/blog
divarvel/physical-homepage
App with my bio some personal info, and my talks
divarvel/journal
divarvel/slides-template
divarvel/befunsvge
divarvel/talk-adt
divarvel/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
divarvel/auth-talk
divarvel/Bepolar
divarvel/biscuit
delegated, decentralized, capabilities based authorization token
divarvel/biscuit-go
divarvel/biscuit-haskell-talk
divarvel/biscuit-java
Java implementation of the Biscuit authentication and authorization token
divarvel/biscuit-rust
Rust implementation of the Biscuit authorization token
divarvel/biscuit-wai
Just testing a few things for a biscuit / WAI interop. This will be merged with the biscuit-haskell main repo at some point
divarvel/biscuit-wasm
WebAssembly wrapper for Biscuit authorization tokens
divarvel/cestpasnous.lol
divarvel/cgohla.github.io
divarvel/dhall-lang
Maintainable configuration files
divarvel/dist-auth-talk
divarvel/haskell-cached-io
a simple library to cache a single IO action with timeout
divarvel/haskell-security-advisories
divarvel/helix
A post-modern modal text editor.
divarvel/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
divarvel/openapi-tui
Terminal UI to list, browse and run APIs defined with openapi spec.
divarvel/pg-entity
A PostgreSQL database layer that does not get in your way
divarvel/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
divarvel/website-1
divarvel/x-keyboard
A zero-dependency web component to display and emulate keyboard layouts.