InductiveComputerScience / progsbaseLinks
Public Progsbase Repository
☆34Updated 4 months ago
Alternatives and similar repositories for progsbase
Users that are interested in progsbase are comparing it to the libraries listed below
Sorting:
- A collection of descriptions of the architecture that various systems use.☆24Updated 6 years ago
- ☆75Updated 5 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 5 years ago
- file history with ed(1), diff(1), awk(1), sed(1) and sh(1)☆108Updated 4 years ago
- ☆27Updated 3 years ago
- Java INtegrated Query in parlance with LINQ is an ultra minimalistic library for Java inspired from and mimicking the .NET LINQ. While LI…☆85Updated 3 years ago
- What if you could use bash from a filesystem?☆64Updated 5 years ago
- Variaous articles☆80Updated 2 years ago
- storage combinators☆18Updated 5 years ago
- ☆31Updated 9 years ago
- GUI for those who don't do GUI☆121Updated 5 years ago
- Chaotic Life☆44Updated 7 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Transactional SQL based RDBMS with sophisticated multi table constraint logic.☆45Updated 6 years ago
- An example of PEG usage☆55Updated 8 years ago
- ☆97Updated 7 years ago
- mega-powerful micro-framework☆81Updated 5 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆115Updated 7 years ago
- Search engine with a static webserver☆67Updated 3 years ago
- a minimalist toolkit for building scalable, fault tolerant and eventually-consistent microservices☆45Updated last year
- 1v1 tank war model built by NetLogo☆50Updated 6 years ago
- Rewrite text in linear time.☆81Updated 2 years ago
- Do you ever get tired of all the noise on HN?☆13Updated 8 years ago
- get more done with fewer keystrokes☆57Updated 2 years ago
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆91Updated last month
- Generalized Diffie-Hellman key exchange Java library built on top of the Vert.x framework☆32Updated 5 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago