A command line chart system based on Unicode glyphs
☆28Jul 6, 2016Updated 9 years ago
Alternatives and similar repositories for terminal-trading-chart
Users that are interested in terminal-trading-chart are comparing it to the libraries listed below
Sorting:
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- forerunner of ydiff - a structural comparison tool for Python☆14Jul 6, 2013Updated 12 years ago
- A complete, production-quality Java parser for the SQL language.☆10Aug 25, 2014Updated 11 years ago
- In which unsupervised learning emerges from spatial-temporal properties of neurons.☆12Nov 29, 2016Updated 9 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Pinocchio VM☆21Oct 1, 2020Updated 5 years ago
- poetiq - Platform O' Electronic Trading In Q☆37Jun 16, 2018Updated 7 years ago
- My personal dot files☆23Jan 5, 2026Updated 2 months ago
- ML Financial API☆22Dec 31, 2017Updated 8 years ago
- Software Transactional Objects☆21Feb 9, 2018Updated 8 years ago
- A high-level description of a machine learning algorithm that learns to write HTML and CSS code.☆13Nov 28, 2016Updated 9 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- various dotfiles☆25Feb 2, 2023Updated 3 years ago
- Look at your macros in a whole new scope.☆23Jun 11, 2017Updated 8 years ago
- ☆22Mar 6, 2014Updated 12 years ago
- ☆33Jan 13, 2015Updated 11 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆36Updated this week
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 3 weeks ago
- A distributed in-memory graph store.☆31Oct 17, 2016Updated 9 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆29Feb 12, 2016Updated 10 years ago
- C++11 library for many-sorted logics☆39Nov 21, 2016Updated 9 years ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆31Feb 8, 2017Updated 9 years ago
- a language-aware tool for comparing programs☆27Jul 21, 2011Updated 14 years ago
- GCN ISA assembler tool for my GSoC project at Openwall☆35Jan 4, 2016Updated 10 years ago
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- ZHT is back and updated, enjoy!☆44Jun 21, 2016Updated 9 years ago
- A Common Lisp natural language processing toolkit☆54Nov 1, 2012Updated 13 years ago
- ☆11Mar 2, 2026Updated last week
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Updated this week
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- ☆10Mar 4, 2024Updated 2 years ago
- Yo Dawg, I heard you like TUI editors, so we wrote one☆33Feb 28, 2017Updated 9 years ago
- A formalized proof of a version of the initiality conjecture☆45Sep 10, 2020Updated 5 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- tiny reusable framework for building microservices with messaging and rest☆11Dec 15, 2023Updated 2 years ago