herkhinah Goto Github PK
Name: shekhinah memmel
Type: User
Name: shekhinah memmel
Type: User
Example implementation of Algorithm W for Hindley-Milner type inference
Exponential backoff and retry for Rust.
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
A parser library for humans with powerful error recovery.
Fast, Declarative, Reproducible, and Composable Developer Environments
WIP rust wrapper for llama.cpp/ggml
haskell bindings for Gtk4LayerShell
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A post-modern modal text editor.
Handy macro to generate C-FFI bindings to Rust for Haskell
Handy macro to generate C-FFI bindings from Rust to Haskell.
Utility traits behind hs-bindgen ergonomics
A purely functional programming language with first class types
Rust UI design toolkit.
Work in progress mathlib port for lean 4
Matrix Client-Server SDK for Rust
ElKowars wacky widgets
[maintainer=@mjlbach]
nixpkgs extended with fenix for use in devenv
Specifications for OpenTelemetry
Seamless integration of https://pre-commit.com git hooks with Nix.
wayland compositor toolbox
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.