Marat Khafizov's repositories

geo

Finding Points Within a Distance of a Latitude/Longitude Using Bounding Coordinates

Language:ErlangLicense:ISCStargazers:6Issues:4Issues:0

compojurescript

Compojure for ClojureScript

Language:ClojureLicense:EPL-1.0Stargazers:2Issues:2Issues:0
Language:AgdaStargazers:2Issues:0Issues:0

agda

Groupoid Infinity cubical base library for Agda

Language:AgdaStargazers:0Issues:2Issues:0

clojurescript

Clojure to JS compiler

Language:ClojureStargazers:0Issues:0Issues:0

clout

HTTP route-matching library for Clojure

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:0Issues:0

dicom-haskell-library

A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax.

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

elixir-tdlib

Fork of Fmux's Elixir TDLib wrapper

Language:ElixirLicense:NOASSERTIONStargazers:0Issues:1Issues:0

excoveralls

Coverage report tool for Elixir with coveralls.io integration.

License:MITStargazers:0Issues:0Issues:0

graph-db

An experimental native Haskell graph database

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0

haskell-mqtt

An MQTT protocol implementation (client and server)

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

haskey

Transactional key-value store written entirely in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

haskey-btree

B+-tree implementation in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hscurses

ncurses binding for Haskell

Language:HaskellLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

macchiato-auth

a library that provides authentication and authorization facilities

Language:ClojureLicense:Apache-2.0Stargazers:0Issues:0Issues:0

macchiato-core

Ring style HTTP server abstraction for Node.js

Language:ClojureLicense:MITStargazers:0Issues:2Issues:0

NixOS-WSL

NixOS on WSL(2) [maintainer=@nzbr]

Language:NixLicense:Apache-2.0Stargazers:0Issues:1Issues:0

protocol

NYNJA Protocol Specification

Stargazers:0Issues:1Issues:0

react-native-cljs

ClojureScript helpers for reagent/re-frame

Language:ClojureStargazers:0Issues:2Issues:0

rpc

☎️ RPC: Type Driven Parser Generator — https://rpc.n2o.dev

Language:SwiftLicense:ISCStargazers:0Issues:1Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

storage

Key-value storage LSM-style and whatever will grow out of it.

Language:HaskellStargazers:0Issues:0Issues:0

twinspark-js

Declarative enhancement for HTML: simple, composable, lean.

License:MITStargazers:0Issues:0Issues:0

urtest

urweb test application

Language:UrWebStargazers:0Issues:2Issues:0