Experimental web browser
☆21Mar 15, 2012Updated 14 years ago
Alternatives and similar repositories for spike
Users that are interested in spike are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Install everything.☆20Nov 19, 2018Updated 7 years ago
- Write OpenCL kernels in rust.☆12Sep 28, 2013Updated 12 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- ☆10Nov 28, 2025Updated 4 months ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆19Apr 25, 2025Updated 11 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Compression and decompression in the gzip and zlib formats☆39Jan 20, 2026Updated 2 months ago
- 📚 🎧 Bookmark CLI for media players to resume where you left off in audiobooks and podcasts☆39Aug 9, 2020Updated 5 years ago
- The heavy hvcc compiler for Pure Data patches.☆11Jun 20, 2024Updated last year
- Hear your network☆21Mar 26, 2009Updated 17 years ago
- A simple shell wrapper function to allow emacs to read from stdin☆13May 30, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- Types and aeson instances for the taskwarrior json import/export specification☆16Jan 7, 2026Updated 3 months ago
- Stream based PDF library☆15Aug 20, 2015Updated 10 years ago
- Multi agent system☆10Apr 28, 2015Updated 10 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- see what you are working on with XBar, Conky ;-) [if using emacs/orgmode/clocking] + alternatives☆12Nov 15, 2022Updated 3 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- QMPDClient official repository☆38Nov 18, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Example Next.js application for App Runner with DynamoDB using Copilot CLI☆13Jan 29, 2026Updated 2 months ago
- CLI tool to run xhyve VMs without driving yourself insane.☆14Mar 14, 2017Updated 9 years ago
- Erlang Generic Game Server + Unity3D☆13Feb 9, 2013Updated 13 years ago
- Expanding propositional memory through text mining.☆19Sep 21, 2021Updated 4 years ago
- Cause Prioritization Wiki☆10Dec 8, 2025Updated 4 months ago
- torbsd web pages☆13Sep 6, 2018Updated 7 years ago
- ☆14Apr 9, 2017Updated 9 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Sync TaskWarrior and Starred Gmail Emails☆10Nov 23, 2015Updated 10 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Feb 2, 2017Updated 9 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Mar 19, 2026Updated 3 weeks ago
- A Mercury CSV library.☆13Feb 18, 2026Updated last month
- This is a plugin to https://discourse.org that provides our set of customizations and extensions.☆12Apr 11, 2016Updated 10 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- this repository contains mine and others scripts focused around bash and mainly https://github.com/junegunn/fzf☆12Nov 10, 2021Updated 4 years ago