☆17Apr 12, 2019Updated 7 years ago
Alternatives and similar repositories for Solidity
Users that are interested in Solidity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DApp for a list of validators with metadata for POA Network (Core/Sokol). Validators can update metadata using DApp.☆14Apr 18, 2023Updated 3 years ago
- Point of Sale - the .NET port of 4POS POS software☆16May 16, 2020Updated 6 years ago
- ☆17Aug 10, 2020Updated 5 years ago
- Distributed applications targeting carpooling and carsharing.☆11May 19, 2017Updated 9 years ago
- Xamarin Forms Music Streaming Online Radio Station App with Custom Metadata and Background Music Playback☆27Apr 28, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆28Nov 27, 2020Updated 5 years ago
- A toy operating system built with Rust☆16Nov 22, 2017Updated 8 years ago
- Code For Venezuela - April Codeathon☆36Apr 27, 2019Updated 7 years ago
- A Scheme to WebAssembly compiler☆16Dec 19, 2021Updated 4 years ago
- ☆13Mar 23, 2019Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Like shasum but for blake2b☆13Nov 8, 2018Updated 7 years ago
- Ast pattern matching, templating and rewriting. Supports regex-like patterns for sequences.☆10Sep 18, 2021Updated 4 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆16Apr 11, 2023Updated 3 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Library in Nim for splitting string into shell words☆10May 7, 2019Updated 7 years ago
- Nim GUI Library☆13Oct 19, 2021Updated 4 years ago
- The parsesql module implements a high performance SQL file parser. It parses PostgreSQL syntax and the SQL ANSI standard.☆11Jun 8, 2021Updated 4 years ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- IO engine for Nim.☆10Jul 8, 2024Updated last year
- [DEPRECATED] a collection of routing interfaces for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.☆24May 25, 2019Updated 7 years ago
- Analog circuit simulation library; wrapper for ngspice☆11Aug 31, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13May 6, 2023Updated 3 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- YouCompleteMe support script for Kakoune☆15Sep 27, 2018Updated 7 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- CHIP-8 Emulator written with Python3 and PyGame☆11Jan 6, 2020Updated 6 years ago
- An experimental app framework for VR based on Qt & High Fidelity's 'interface'☆10May 23, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- [DEPRECATED] The host interface for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.☆19May 24, 2019Updated 7 years ago
- Vim style editor written in Racket☆14May 31, 2020Updated 5 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- a simple lightweight workflow engine for data analysis scripting☆11Sep 5, 2019Updated 6 years ago
- Gettext file checker.☆15Apr 18, 2026Updated last month
- Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.☆11May 4, 2020Updated 6 years ago