Tener/spike external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Tener/spike

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Tener/spike)

Close

Tener / spikeView on GitHubMore

• External links
• Readme badge

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.

• quchen / acme-everything

  View on GitHub
  Install everything.
  ☆21Nov 19, 2018Updated 7 years ago
• sebcrozet / rs2cl

  View on GitHub
  Write OpenCL kernels in rust.
  ☆12Sep 28, 2013Updated 12 years ago
• japesinator / tarts

  View on GitHub
  Timing attack resistant type systems
  ☆24May 13, 2015Updated 11 years ago
• displaced-lobster / reading_time

  View on GitHub
  ☆10Nov 28, 2025Updated 5 months ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• weidai11 / extropians

  View on GitHub
  ☆19Apr 25, 2025Updated last year
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 11 years ago
• logicmoo / programk

  View on GitHub
  Chatbot impls in Prolog
  ☆15Feb 15, 2022Updated 4 years ago
• haskell / zlib

  View on GitHub
  Compression and decompression in the gzip and zlib formats
  ☆39Jan 20, 2026Updated 4 months ago
• altdesktop / playerbm

  View on GitHub
  📚 🎧 Bookmark CLI for media players to resume where you left off in audiobooks and podcasts
  ☆39Aug 9, 2020Updated 5 years ago
• giuliomoro / hvcc

  View on GitHub
  The heavy hvcc compiler for Pure Data patches.
  ☆12Apr 21, 2026Updated last month
• fugalh / hearnet

  View on GitHub
  Hear your network
  ☆21Mar 26, 2009Updated 17 years ago
• davidshepherd7 / emacs-read-stdin

  View on GitHub
  A simple shell wrapper function to allow emacs to read from stdin
  ☆13May 30, 2021Updated 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• MedeaMelana / JsonGrammar

  View on GitHub
  Combinators for bidirectional JSON parsing
  ☆21May 29, 2014Updated 11 years ago
• maralorn / haskell-taskwarrior

  View on GitHub
  Types and aeson instances for the taskwarrior json import/export specification
  ☆16Jan 7, 2026Updated 4 months ago
• YoEight / rakhana

  View on GitHub
  Stream based PDF library
  ☆15Aug 20, 2015Updated 10 years ago
• ParaPhraseAGH / erlang-mas

  View on GitHub
  Multi agent system
  ☆10Apr 28, 2015Updated 11 years ago
• guitarvydas / wam

  View on GitHub
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Mar 24, 2019Updated 7 years ago
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• mmagnus / EmacsOrgModeClockingXBar

  View on GitHub
  see what you are working on with XBar, Conky ;-) [if using emacs/orgmode/clocking] + alternatives
  ☆12Nov 15, 2022Updated 3 years ago
• JanWielemaker / openapi

  View on GitHub
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Sep 30, 2024Updated last year
• Voker57 / qmpdclient

  View on GitHub
  QMPDClient official repository
  ☆38Nov 18, 2015Updated 10 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• aws-containers / hello-app-runner-nodejs

  View on GitHub
  Example Next.js application for App Runner with DynamoDB using Copilot CLI
  ☆13Jan 29, 2026Updated 3 months ago
• nxusr / hyv

  View on GitHub
  CLI tool to run xhyve VMs without driving yourself insane.
  ☆14Mar 14, 2017Updated 9 years ago
• jordillonch / eggs_unity3d

  View on GitHub
  Erlang Generic Game Server + Unity3D
  ☆13Feb 9, 2013Updated 13 years ago
• paulbricman / memnav

  View on GitHub
  Expanding propositional memory through text mining.
  ☆19Sep 21, 2021Updated 4 years ago
• riceissa / causeprioritization

  View on GitHub
  Cause Prioritization Wiki
  ☆10Dec 8, 2025Updated 5 months ago
• torbsd / torbsd.github.io

  View on GitHub
  torbsd web pages
  ☆13Sep 6, 2018Updated 7 years ago
• nicolabotta / SeqDecProbs

  View on GitHub
  ☆14Apr 9, 2017Updated 9 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 8 years ago
• bordaigorl / latex-commenting

  View on GitHub
  A LaTeX package for commenting multi-author documents
  ☆12Feb 12, 2015Updated 11 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• awwaiid / tw-gmail-star-sync

  View on GitHub
  Sync TaskWarrior and Starred Gmail Emails
  ☆10Nov 23, 2015Updated 10 years ago
• snowmantw / Frag

  View on GitHub
  Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .
  ☆13Feb 2, 2017Updated 9 years ago
• dagit / rust-prolog

  View on GitHub
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Mar 19, 2026Updated 2 months ago
• juliensf / mercury-csv

  View on GitHub
  A Mercury CSV library.
  ☆13Apr 11, 2026Updated last month
• srcclr / open-core

  View on GitHub
  This is a plugin to https://discourse.org that provides our set of customizations and extensions.
  ☆12Apr 11, 2016Updated 10 years ago
• mndrix / mavis

  View on GitHub
  Optional types for Prolog
  ☆11Aug 14, 2018Updated 7 years ago
• rayiik / Fzf-bash-ide-resource

  View on GitHub
  this repository contains mine and others scripts focused around bash and mainly https://github.com/junegunn/fzf
  ☆12Nov 10, 2021Updated 4 years ago