Alfred - A loyal and tireless butler for your stellar wallets
☆30Apr 26, 2018Updated 7 years ago
Alternatives and similar repositories for alfred
Users that are interested in alfred are comparing it to the libraries listed below
Sorting:
- A commandline client for the Stellar blockchain☆74Apr 19, 2023Updated 2 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆35Jan 23, 2018Updated 8 years ago
- a command line interface to Stellar networks☆36Jun 28, 2018Updated 7 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- Example smart contracts for use with Stellar☆30Feb 6, 2018Updated 8 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- A re-implementation of the Cuphead expert mode with all-new content☆12Nov 11, 2024Updated last year
- Cryptris, a game about asymmetric cryptography☆18Sep 6, 2014Updated 11 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Jun 23, 2015Updated 10 years ago
- Python implementation of the Huffman Code compression algorithm.☆14Apr 18, 2013Updated 12 years ago
- Example ReasonML app with GraphQL + Apollo we build together in a tutorial.☆10Nov 24, 2018Updated 7 years ago
- A component library to help you build your travel product using the Duffel API☆15Feb 18, 2026Updated last week
- Odoo addons for transport sale and logistic companies☆10Jan 13, 2017Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- decentralized social network using #nostr☆12Aug 31, 2022Updated 3 years ago
- Extension Osint Sync☆46Nov 26, 2025Updated 3 months ago
- Basic chess example, written for haxe/nme.☆10Sep 16, 2024Updated last year
- A simple albeit functional Social Networking application using PHP, MySQL and CSS☆12Aug 23, 2011Updated 14 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- Extremely Fast Event Based web Crawler made in PHP 5.3+☆26Aug 3, 2010Updated 15 years ago
- Pseudo 3D racing game built with Reprocessing☆12Apr 3, 2024Updated last year
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- access yahoo stock quotes in haskell☆16Dec 29, 2015Updated 10 years ago
- Create SVG or bitmaps from simple ASCII diagrams, EBNF notations, etc.☆19May 7, 2015Updated 10 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Send STDOUT of any app to SSE clients. Like Websocketd, but for SSE☆13Sep 19, 2017Updated 8 years ago
- ☆12Nov 5, 2019Updated 6 years ago
- ad server☆11Jan 28, 2017Updated 9 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- ☆10Nov 6, 2018Updated 7 years ago
- an app for storing and calculating with arbitrary structures of values.☆11Dec 25, 2017Updated 8 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- JSON tools around `jq` and other utilities☆13May 12, 2019Updated 6 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Hacker News in Clojure.☆30Jan 15, 2015Updated 11 years ago