SWI-Prolog Main development repository

a super simple, no-nonsense diagramming library written in react that just works

Euler Yet another proof Engine

Customizable JSON Schema-based forms with React, Angular and Vue support out of the box.

PostgreSQL Prolog language handler

A scientific instrument for investigating latent spaces

Solid.js library adding signaling to built-in non-primitives

Official Anytype client for MacOS, Linux, and Windows

language-agnostic program reducer.

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

A SQL database implemented purely in TypeScript type annotations.

Javascript Data Structure & TypeScript Data Structure. Heap, Binary Tree, Red Black Tree, Linked List, Deque, Trie, HashMap, Directed Graph, Undirected Graph, Binary Search Tree, AVL Tree, Priority…

Turbo repo with octopus-state-graph and samples

✨ React patterns, techniques, tips and tricks ✨

Lazy sequences for ReScript

Sync subsets of your Postgres data into local apps and services.

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Irmin is a distributed database that follows the same design principles as Git

A collection of materials about the ReScript programming language and toolchain.

A statically typed Lisp like scripting programming language for Rust.

Handling optional record fields through `undefined | a` values and typesafe zero cost coercion

[🚀 Work In Progress] Compiler frontend for the PureScript programming language.

A PureScript implementation of The Elm Architecture

A curated list of awesome Category Theory resources.

Fast & simple framework for building web applications

Concur UI library for Purescript. Core framework.

A curated list of awesome Concur resources and related projects.

Framework agnostic web views

React Basic implementation of general Html interface from the chameleon library

A strongly-typed language that compiles to JavaScript