wldhx Goto Github PK
Type: User
Blog: https://wldhx.me
Type: User
Blog: https://wldhx.me
Language Server for Agda
A curated list of awesome Python frameworks, libraries, software and resources
A simple Android library for implementing Bluetooth Serial Port Profile (SPP) communication.
Opinionated stacks of ready-to-run Jupyter applications in Docker.
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Nix installation for ghcide
[WIP] Книга: Haskell для школьников и других людей
Manage a user environment using Nix [maintainer=@rycee]
An example of a Rust web service with Iron and Hyper
Automatic Haskell type inference from JSON input
LibSSH2 FFI bindings for Haskell
Simple RFC-complient TELNET implementation as a C library.
The Matrix SDK for Android
Matrix Client-Server SDK for Python 2 and 3
Nix Packages collection
Starting point and shared code for Nordic nRF5x BLE platforms.
Development and deployment made easy.
Seamless integration of https://pre-commit.com git hooks with Nix.
A pre-commit hook to sort your Python imports.
A remark plugin to convert GraphViz code into SVG diagram
Cryptography that's easy to digest (NaCl/libsodium bindings)
🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, AWQ, EXL2, llama.cpp (GGUF), Llama models.
An extension for VS Code supporting the Alloy modelling language
Get real direct links usable with tools like curl or wget for files stored in Yandex.Disk.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.