DanielFeichtinger's Stars
powerlang/egg
Egg Smalltalk
BarrelfishOS/barrelfish
Mirror of the official Barrelfish OS repository.
luckyrobots/luckyrobots
We are on a mission to make robotics available to the regular software engineers, by decoupling it from ROS and physical hardware.
brian-team/brian2
Brian is a free, open source simulator for spiking neural networks.
anoopelias/wasmrepl
allpurposemachines/hypermap
HyperMap is a new RESTful API standard. Mech is a universal client for HyperMap services.
digital-asset/daml
The Daml smart contract language
mozilla/fathom
A framework for extracting meaning from web pages
froggey/Mezzano
An operating system written in Common Lisp
SOM-st/JsSOM
JsSOM - The SOM (Simple Object Machine) Smalltalk implemented in JavaScript
zot/Leisure
Polyglot, document-based computing environment. Leisure is very much in flux, right now; please check the readme, below. For a taste of the new version, click the link below, but be warned that it only works in Chrome.
alexwarth/nothing
CorfuDB/CorfuDB
A cluster consistency platform
bft-smart/library
BFT-SMaRt's project home page
parroty/excheck
Property-based testing library for Elixir (QuickCheck style).
sasa1977/fsm
Finite State Machine data structure
AgilionApps/relax
Simple Elixir implementation of a jsonapi.org server.
babelsberg/babelsberg-r
A Ruby implementation of Babelsberg, based on Topaz. Main repo at
bloom-lang/bud
Prototype Bud runtime (Bloom Under Development)
hpyhacking/peatio
An open-source assets exchange.
RubyCrypto/rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
damelang/gezira
hesam/JOHN-COLA-Planner-Library
Implements an automated planner and constraint handler program as a COLA library
guardian/scribe
DEPRECATED: A rich text editor framework for the web platform
omcljs/om
ClojureScript interface to Facebook's React
krypt/krypt
Platform- and library-independent cryptography for Ruby.
celluloid/floss
UNMAINTAINED: See celluloid/celluloid#779 - A Ruby implementation of the Raft consensus algorithm.
moxie0/Convergence
An agile, distributed, and secure alternative to the Certificate Authority system.
celluloid/celluloid
Actor-based concurrent object framework for Ruby
kevinlawler/kona
Open-source implementation of the K programming language