Jan Troler's repositories
odoo
Odoo (formerly OpenERP). Open Source Apps To Grow Your Business.
nixpkgs
Nix Packages collection & NixOS
node_test
node_test
idris2-mongoose
Idris2 bindings for mongoose
foundation-sites
The most advanced responsive front-end framework in the world. Quickly create prototypes and production code for sites that work on any kind of device.
idris2-pq
PostgreSQL Bindings for Idris2
lhsoft_pda
lhsoft_pda
tcat
tcat
oauthlib
A generic, spec-compliant, thorough implementation of the OAuth request-signing logic
lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
SPLV20
SPLV20 course notes
idris-sha256test
idris-sha256test
idris-sha256c
idris-sha256c
TypeFunc
Resources for type theory, functional programming, etc.
unison
A friendly programming language from the future
Idris-dev
A Dependently Typed Functional Programming Language
adt_odoo
adt_odoo experiment
isomorphic-ws
Isomorphic implementation of WebSocket (https://www.npmjs.com/package/ws)
awesome-websockets
A curated list of Websocket libraries and resources.
purescript-cookbook
An unofficial Cookbook for PureScript
websockets
A Haskell library for creating WebSocket-capable servers
Bootstrap-5-Crash-Course-in-1.5H
These are lesson files for our 1,5h crash course on Bootstrap 5
documentation
Documentation for the PureScript language, compiler, and tools.