Pinned Repositories
alexhumphreys.github.io
dc2dr
ARCHIVED Convert Docker Compose to Docker Run Commands: see this fork instead:
dhall-lang
Maintainable configuration files
hello-idris2
A template for idris projects
idrall
Dhall bindings for Idris
idris2-dockerfile
idris2-node-postgres
idris2 bindings for the node-postgres library
openapi-rust-cli
rust-template
Project to base webapp stuff on
verpackung
A package set for idris2
alexhumphreys's Repositories
alexhumphreys/idrall
Dhall bindings for Idris
alexhumphreys/hello-idris2
A template for idris projects
alexhumphreys/idris2-node-postgres
idris2 bindings for the node-postgres library
alexhumphreys/openapi-rust-cli
alexhumphreys/rust-template
Project to base webapp stuff on
alexhumphreys/verpackung
A package set for idris2
alexhumphreys/idris2-dockerfile
alexhumphreys/idris2-pack-db
alexhumphreys/alexhumphreys.github.io
alexhumphreys/dummy-server
alexhumphreys/foo_ci
alexhumphreys/gitbook
alexhumphreys/Idris2
A purely functional programming language with first class types
alexhumphreys/idris2-dom
Javascript DOM bindings for Idris2
alexhumphreys/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
alexhumphreys/idris2-lsp
Language Server for Idris2
alexhumphreys/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
alexhumphreys/idris2-pack
alexhumphreys/idris2-rhone-js
Experimental JS bindings for idris2-rhone
alexhumphreys/inigo
Inigo: A Package Manager for Idris2
alexhumphreys/loco
🚂 🦀 The one-person framework for Rust for side-projects and startups
alexhumphreys/loco-oauth2
alexhumphreys/loco-playground
alexhumphreys/meta-idris
alexhumphreys/omnivore
Omnivore is a complete, open source read-it-later solution for people who like reading.
alexhumphreys/prediction
alexhumphreys/server-playground
alexhumphreys/target-repo
alexhumphreys/tracing-opentelemetry-instrumentation-sdk
Middlewares and tools to integrate axum + tracing + opentelemetry
alexhumphreys/tyttp-json