Alternatives and similar repositories for modality

Users that are interested in modality are comparing it to the libraries listed below

• KeychainMDIP / kc

  View on GitHub
  Multi Dimensional Identity Protocol (MDIP) reference implementation
  ☆13Updated this week
• Carroted / Bimulo

  View on GitHub
  Abandoned online 2D physics app and game engine with multiplayer — See `simulo_bevy` for continuation
  ☆13May 24, 2024Updated last year
• arashari / chrome-ext-with-fwmc

  View on GitHub
  ☆19Aug 19, 2025Updated 5 months ago
• qfpl / propagator-examples

  View on GitHub
  ☆38Sep 1, 2019Updated 6 years ago
• mreid / injuce

  View on GitHub
  A small personal project to learn Clojure by implementing some simple machine learning algorithms
  ☆29Oct 12, 2009Updated 16 years ago
• AgeManning / enr-cli

  View on GitHub
  Simple utility to read ENRs
  ☆11Mar 17, 2025Updated 10 months ago
• kkew3 / sat-minesweeper

  View on GitHub
  An SAT-based Minesweeper agent.
  ☆12May 31, 2023Updated 2 years ago
• federicobond / solidity-spec

  View on GitHub
  A Solidity spec suite to test parsers for language compliance.
  ☆11Dec 31, 2017Updated 8 years ago
• epost / purescript-datalog-parsers

  View on GitHub
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Aug 19, 2017Updated 8 years ago
• orb / Clojuratica

  View on GitHub
  An interface between Clojure and Mathematica
  ☆10Mar 17, 2015Updated 10 years ago
• ibdknox / overtoneCljs

  View on GitHub
  a simple example project using noir, overtone, and my cljs libraries
  ☆24Nov 20, 2012Updated 13 years ago
• Improwised / golang-api

  View on GitHub
  Template for go applications
  ☆13Updated this week
• kumavis / react-compartment

  View on GitHub
  ☆11Dec 27, 2023Updated 2 years ago
• antoniogarrote / clj-r2rml

  View on GitHub
  Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language
  ☆25Mar 23, 2011Updated 14 years ago
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Dec 13, 2025Updated 2 months ago
• duneanalytics / duneapi-client-python

  View on GitHub
  ☆10Mar 21, 2023Updated 2 years ago
• davdar / parsing-with-derivatives-haskell

  View on GitHub
  The original parsing with derivatives haskell implementation
  ☆12Aug 25, 2015Updated 10 years ago
• ray1729 / gsheets-demo

  View on GitHub
  Clojure Google Spreadsheet API Demo
  ☆10Mar 18, 2016Updated 9 years ago
• theartofcomputerprogramming / mmixsamples

  View on GitHub
  Sample code in MMIX assembly language
  ☆11Jan 25, 2022Updated 4 years ago
• terminusdb / tus

  View on GitHub
  TUS protocol for resumable file uploads via HTTP
  ☆14Nov 5, 2024Updated last year
• Dyalog / HttpCommand

  View on GitHub
  A utility to manage HTTP requests from APL
  ☆12Updated this week
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• johnbender / wield

  View on GitHub
  A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.
  ☆54Apr 29, 2014Updated 11 years ago
• meditans / reif

  View on GitHub
  Ulrich Newmerkel's library for reified if, as a prolog pack
  ☆11Aug 11, 2020Updated 5 years ago
• Sifchain / sa-eliza

  View on GitHub
  Conversational Agent for Twitter and Discord
  ☆10Updated this week
• JanWielemaker / openapi

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

  View on GitHub
  Recreation of UIndows in applicable theme form
  ☆13Jun 9, 2022Updated 3 years ago
• cmeiklejohn / shafty

  View on GitHub
  ClojureScript functional reactive programming library.
  ☆49Jun 7, 2013Updated 12 years ago
• gburd / hamt

  View on GitHub
  Ideal Hash Array Mapped Tries: an Erlang functional datatype
  ☆18Nov 15, 2013Updated 12 years ago
• be5invis / idris-dict

  View on GitHub
  A Dict k v in Idris
  ☆15Dec 15, 2020Updated 5 years ago
• santifa / pasp-mode

  View on GitHub
  An Emas Major Mode for editing Answer Set Programs
  ☆12Apr 4, 2018Updated 7 years ago
• op-rs / maili

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated 11 months ago
• Overv / pqpp

  View on GitHub
  Simple PostgreSQL bindings for modern C++
  ☆11Nov 30, 2020Updated 5 years ago
• dannycochran / d3meetup

  View on GitHub
  ☆15Aug 30, 2015Updated 10 years ago
• nodename / async-plgd

  View on GitHub
  Hoare's CSP examples implemented with Clojure core.async
  ☆63Oct 1, 2013Updated 12 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 10 years ago
• ponylang / pony-for-x

  View on GitHub
  Source of the "Pony for X" intro to Pony series
  ☆14Oct 4, 2016Updated 9 years ago
• goshatch / atproto-clojure

  View on GitHub
  🦋 atproto Clojure SDK
  ☆14Feb 10, 2025Updated last year
• hargettp / prolog_lsp

  View on GitHub
  Language Server for Prolog
  ☆13May 2, 2023Updated 2 years ago