Pinned Repositories
apollo-client
:rocket: A fully-featured, production ready caching GraphQL client for every UI framework and GraphQL server.
AutoRDF
A framework for C++ proxy class generation from Web Ontology Language
bondi
source code for the bondi programming language
bud
Prototype Bud runtime (Bloom Under Development)
clafer
Clafer is a lightweight modeling language
disaster-radio
A work-in-progress long-range, low-bandwidth wireless disaster recovery mesh network powered by the sun.
dweb-mirror
Offline Internet Archive project
MMT
The MMT Language and System
terminusdb
TerminusDB is a distributed database with a collaboration model
mahsohn's Repositories
mahsohn/MMT
The MMT Language and System
mahsohn/terminusdb
TerminusDB is a distributed database with a collaboration model
mahsohn/apollo-client
:rocket: A fully-featured, production ready caching GraphQL client for every UI framework and GraphQL server.
mahsohn/AutoRDF
A framework for C++ proxy class generation from Web Ontology Language
mahsohn/bud
Prototype Bud runtime (Bloom Under Development)
mahsohn/disaster-radio
A work-in-progress long-range, low-bandwidth wireless disaster recovery mesh network powered by the sun.
mahsohn/dweb-mirror
Offline Internet Archive project
mahsohn/Ecore-st
Ecore metamodel for Pharo and Squeak
mahsohn/enso
Hybrid visual and textual functional programming.
mahsohn/enso-developer-docs
Fork of the developer documentation for the Enso compiler, runtime, and IDE.
mahsohn/gaffer
Gaffer is a node-based application for lookdev, lighting and automation
mahsohn/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
mahsohn/genode
Genode OS Framework
mahsohn/geogebra
GeoGebra apps (mirror)
mahsohn/keystone
The most powerful headless CMS for Node.js — built with GraphQL and React
mahsohn/Kha
Ultra-portable, high performance, open source multimedia framework.
mahsohn/lime-packages
OpenWrt packages composing LibreMesh meta-firmware for wireless mesh networking
mahsohn/ml-ssb-server
mahsohn/netboot.xyz
Your favorite operating systems in one place. A network-based bootable operating system installer based on iPXE.
mahsohn/nixpkgs
Nix Packages collection
mahsohn/nushell
A new type of shell
mahsohn/packages-xpce
The graphics toolkit for SWI-Prolog
mahsohn/PetitJava
Petit Java Parser
mahsohn/prisma
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB (Preview)
mahsohn/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
mahsohn/stable-diffusion
mahsohn/sudowrt-firmware
Scripts to build the sudo mesh OpenWRT firmware.
mahsohn/TruffleSOM
A SOM Smalltalk implemented on top of Oracle's Truffle Framework
mahsohn/vscode-enso
Syntax highlighting for Enso in VSCode
mahsohn/webgme
Web-based Generic Modeling Environment