wldhx's repositories
yadisk-direct
Get real direct links usable with tools like curl or wget for files stored in Yandex.Disk.
haskell-for-school-kids-and-other-people
[WIP] Книга: Haskell для школьников и других людей
nrf5x-base
Starting point and shared code for Nordic nRF5x BLE platforms.
agda-language-server
Language Server for Agda
awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
Blue2Serial
A simple Android library for implementing Bluetooth Serial Port Profile (SPP) communication.
docker-stacks
Opinionated stacks of ready-to-run Jupyter applications in Docker.
ghcide-nix
Nix installation for ghcide
home-manager
Manage a user environment using Nix [maintainer=@rycee]
json-autotype
Automatic Haskell type inference from JSON input
libssh2-hs
LibSSH2 FFI bindings for Haskell
matrix-android-sdk
The Matrix SDK for Android
matrix-python-sdk
Matrix Client-Server SDK for Python 2 and 3
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
pre-commit-python-sorter
A pre-commit hook to sort your Python imports.
remark-graphviz-svg
A remark plugin to convert GraphViz code into SVG diagram
testground
🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.
text-generation-webui
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, AWQ, EXL2, llama.cpp (GGUF), Llama models.
VSCodeAlloyExtension
An extension for VS Code supporting the Alloy modelling language