wldhx Goto Github PK

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.

esp32-dmx-python

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

ghcide-nix

Nix installation for ghcide

haskell-for-school-kids-and-other-people

[WIP] Книга: Haskell для школьников и других людей

home-manager

Manage a user environment using Nix [maintainer=@rycee]

httptest

An example of a Rust web service with Iron and Hyper

json-autotype

Automatic Haskell type inference from JSON input

libssh2-hs

LibSSH2 FFI bindings for Haskell

libtelnet

Simple RFC-complient TELNET implementation as a C library.

matrix-android-sdk

The Matrix SDK for Android

matrix-python-sdk

Matrix Client-Server SDK for Python 2 and 3

nixpkgs

Nix Packages collection

nrf5x-base

Starting point and shared code for Nordic nRF5x BLE platforms.

otto

Development and deployment made easy.

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

saltine

Cryptography that's easy to digest (NaCl/libsodium bindings)

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

yadisk-direct

Get real direct links usable with tools like curl or wget for files stored in Yandex.Disk.