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.

• japesinator / tarts

  View on GitHub
  Timing attack resistant type systems
  ☆24May 13, 2015Updated 10 years ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 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 2 months ago
• MedeaMelana / JsonGrammar

  View on GitHub
  Combinators for bidirectional JSON parsing
  ☆21May 29, 2014Updated 11 years 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 10 years ago
• guitarvydas / wam

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

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

  View on GitHub
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Sep 30, 2024Updated last year
• rahulg / 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
• riceissa / causeprioritization

  View on GitHub
  Cause Prioritization Wiki
  ☆10Dec 8, 2025Updated 3 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 8 years ago
• bordaigorl / latex-commenting

  View on GitHub
  A LaTeX package for commenting multi-author documents
  ☆12Feb 12, 2015Updated 11 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
  ☆82Aug 28, 2020Updated 5 years ago
• juliensf / mercury-csv

  View on GitHub
  A Mercury CSV library.
  ☆13Feb 18, 2026Updated last month
• JanWielemaker / rits

  View on GitHub
  Rule-based Intelligent Tutoring System
  ☆11Mar 28, 2015Updated 10 years ago
• mndrix / mavis

  View on GitHub
  Optional types for Prolog
  ☆11Aug 14, 2018Updated 7 years ago
• joedevivo / erlang-haskell-interface

  View on GitHub
  Make rpc:calls from erlang to haskell
  ☆17Mar 30, 2015Updated 10 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 9 years ago
• Kivra-Archive / robotnik

  View on GitHub
  Dr Robotnik web scraper robot factory
  ☆15Nov 15, 2016Updated 9 years ago
• hiviah / https-everywhere-checker

  View on GitHub
  Obsolete, upkept version at EFF
  ☆19Jan 4, 2016Updated 10 years ago
• atzeus / reflectionwithoutremorse

  View on GitHub
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Oct 4, 2021Updated 4 years ago
• mndrix / regex

  View on GitHub
  Regular expressions for Prolog
  ☆17Jul 6, 2017Updated 8 years ago
• flavioc / XSB

  View on GitHub
  XSB Prolog
  ☆14Mar 27, 2010Updated 15 years ago
• sandogeorge / webtalk

  View on GitHub
  Framework for creating web applications using Logtalk
  ☆12Apr 12, 2023Updated 2 years ago
• mndrix / list_util

  View on GitHub
  Prolog list utility predicates
  ☆11Jul 19, 2018Updated 7 years ago
• ekmett / hyperloglog

  View on GitHub
  A constant-memory approximation of set membership
  ☆25Jan 25, 2025Updated last year
• creichert / dockerfile

  View on GitHub
  A Haskell DSL for Generating Dockerfiles
  ☆10Apr 25, 2025Updated 10 months ago
• emacstheviking / gnuprolog-redisclient

  View on GitHub
  A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.
  ☆16Nov 1, 2016Updated 9 years ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• JanWielemaker / swi-chat

  View on GitHub
  Demo SWI-Prolog HTTP based chat server
  ☆19Nov 2, 2016Updated 9 years ago
• pa-ba / reg-machine

  View on GitHub
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Feb 22, 2022Updated 4 years ago
• mzero / plush

  View on GitHub
  Plush - the comfy shell
  ☆67Aug 22, 2014Updated 11 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• haskell-hvr / lzma

  View on GitHub
  Haskell bindings to liblzma
  ☆18Dec 27, 2024Updated last year