mondano Goto Github PK

iper

Hypergraphs for breakfast

ipfs-social-proof

IPFS Social Proof: A decentralized identity and social proof system

isokeyboard

Custom isomorphic keyboard generator.

jekyll-theme-console

A jekyll theme inspired by linux consoles for hackers, developers and script kiddies.

jessica

Jessica - Jessie (secure distributed Javascript) Compiler Architecture

jison

bison / YACC / LEX in JavaScript (LALR(1), SLR(1), etc. lexer/parser generator)

jpegx

Decentralized NFT Options Protocol

kilobeat

Networked livecoding instrument with aleatoric recording and playback.

kind2

A next-gen functional language

kripfy

A Kripke structure modelling framework

lacan-mathemes

Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis

lacan-racket

An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket

lambda-calculus

A simple, clean and fast implementation of the λ-calculus on JavaScript.

lambdalisp

A Lisp interpreter written in untyped lambda calculus

levelgraph

Graph database JS style for Node.js and the Browser. Built upon LevelUp and LevelDB.

lrs

Linkable Ring Signatures on JavaScript and PureScript.

many_worlds

A description of the relationship between databases, collaboration and Kripke

medikanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

metamk

Meta-Interpreters in miniKanren

microkanren

The implementation of microKanren, a featherweight relational programming language

microkanren-py

Simple python3 implementation of microKanren with lots of type annotations for clarity

mlsolver

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

modaldecisiontrees.jl

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

modallogic

Modal Logic Playground

multi-reward-distribution

mutual-stake-viz

Mutual Stakeholding Visualization

network

The networking guts of Hyperswarm

observable-membrane

A Javascript Membrane implementation using Proxies to observe mutation on an object graph

ocean-pearl

Frontend Web UI for the OceanPearl project.

ocean-pearl-api

Public API for the OceanPearl project.