Pinned Repositories
agda
Groupoid Infinity cubical base library for Agda
clojurescript
Clojure to JS compiler
clout
HTTP route-matching library for Clojure
compojurescript
Compojure for ClojureScript
dicom-haskell-library
A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax.
dotfiles
geo
Finding Points Within a Distance of a Latitude/Longitude Using Bounding Coordinates
tt
xafizoff's Repositories
xafizoff/geo
Finding Points Within a Distance of a Latitude/Longitude Using Bounding Coordinates
xafizoff/compojurescript
Compojure for ClojureScript
xafizoff/tt
xafizoff/agda
Groupoid Infinity cubical base library for Agda
xafizoff/clojurescript
Clojure to JS compiler
xafizoff/clout
HTTP route-matching library for Clojure
xafizoff/dicom-haskell-library
A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax.
xafizoff/dotfiles
xafizoff/elixir-tdlib
Fork of Fmux's Elixir TDLib wrapper
xafizoff/excoveralls
Coverage report tool for Elixir with coveralls.io integration.
xafizoff/graph-db
An experimental native Haskell graph database
xafizoff/hapidry
xafizoff/haskell-mqtt
An MQTT protocol implementation (client and server)
xafizoff/haskell-win32-example
xafizoff/haskey
Transactional key-value store written entirely in Haskell
xafizoff/haskey-btree
B+-tree implementation in Haskell
xafizoff/hscurses
ncurses binding for Haskell
xafizoff/macchiato-auth
a library that provides authentication and authorization facilities
xafizoff/macchiato-core
Ring style HTTP server abstraction for Node.js
xafizoff/NixOS-WSL
NixOS on WSL(2) [maintainer=@nzbr]
xafizoff/protocol
NYNJA Protocol Specification
xafizoff/react-native-cljs
ClojureScript helpers for reagent/re-frame
xafizoff/rpc
☎️ RPC: Type Driven Parser Generator — https://rpc.n2o.dev
xafizoff/stackage
"Stable Hackage": vetted consistent packages from Hackage
xafizoff/storage
Key-value storage LSM-style and whatever will grow out of it.
xafizoff/twinspark-js
Declarative enhancement for HTML: simple, composable, lean.
xafizoff/urtest
urweb test application