gchandra10 / useful-rust-linksView external linksLinks
Open Source repository containing useful links for Rust Programming
☆19Nov 27, 2022Updated 3 years ago
Alternatives and similar repositories for useful-rust-links
Users that are interested in useful-rust-links are comparing it to the libraries listed below
Sorting:
- typescript supabase client replacement in the small☆10Feb 3, 2026Updated last week
- ☆11May 7, 2022Updated 3 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Multimodal SuperCon: Classifier for Drivers of Deforestation in Indonesia☆10Nov 18, 2023Updated 2 years ago
- SUI Android SDK(beta)☆12Oct 1, 2024Updated last year
- Chatbot for the good vibes.☆11Aug 29, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Enjoyed functional programming and decided to build an elixir chat-server app. This time using Elixir for the sockets to also store in a …☆11Apr 24, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Code files that accompany my Substack posts☆22Dec 4, 2025Updated 2 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- Need to generate a bunch of TileMill projects that are nearly identical and then render them all out? Want to script that? We gotcha cove…☆32Jul 29, 2015Updated 10 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- ☆30Jun 7, 2014Updated 11 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 2, 2023Updated 3 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- Reserved crates.io crate names. Contact us if you think your project needs one of these names!☆11Feb 6, 2026Updated last week
- StarkNet Indexer for the Loot ecosystem☆14Apr 12, 2023Updated 2 years ago
- ☆10Jun 28, 2025Updated 7 months ago
- Some transcoding features☆18Oct 15, 2012Updated 13 years ago
- Kd Tree builder on GPU using CUDA☆16May 15, 2011Updated 14 years ago
- Elixir library to produce diff reports of two strings, or two lists of objects (of any kind)☆10Apr 28, 2025Updated 9 months ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- This report presents a Neural Style Transfer project that focuses on performing style transfer on both images and videos. The process inv…☆12Jun 23, 2023Updated 2 years ago
- experimenting with beam cluster setup☆10Mar 21, 2023Updated 2 years ago
- A collection of useful plugins maintained by the Toyota Connected North America team☆24Updated this week
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A fast erlang gRPC client -- with fast http/2 and long connection☆11Dec 20, 2016Updated 9 years ago
- Network streaming of kinect depth data using gstreamer to southcast servers☆15Oct 25, 2011Updated 14 years ago
- Bringing some SQL to Qdrant☆15Jun 17, 2025Updated 7 months ago
- ☆12May 22, 2016Updated 9 years ago
- Native zlib driver for Erlang / Elixir☆13Jul 11, 2025Updated 7 months ago
- Erlang port for use libphonenumber from erlang☆21Mar 20, 2016Updated 9 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- Erlang stdlib extensions.☆11Oct 6, 2025Updated 4 months ago
- Option type implementation in C++11☆14Apr 2, 2016Updated 9 years ago
- Physics plugin with rapier for the shipyard ECS.☆11Mar 21, 2021Updated 4 years ago