alexander-n Goto Github PK
Name: Alexander Niederbühl
Type: User
Location: Freiburg, Germany
Name: Alexander Niederbühl
Type: User
Location: Freiburg, Germany
Read/Write Lock - synchronization primitive for asyncio
APALACHE: symbolic model checker for TLA+
How ready is Rust for Machine Learning?
A curated list of TLA+ resources.
Example of Arrow features in the context of a Ktor project
Deduplicating archiver with compression and authenticated encryption.
Kotlin implementation of the Lisp interpreter from https://buildyourownlisp.com
TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
Bears for coala
Easy to use AJAX library for django. dajaxice mains goal is to trivialize the asynchronous communication within the django server side code and your js code. It's an "agnostic JS framework" approach and focus on decoupling the presentation logic.
A DBAPI and SQLAlchemy dialect for Elasticsearch
A collection of TLA+ specifications of varying complexities
FastAPI pagination
The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More
ISCC: International Standard Content Code
Visualization of the Integrated Surface Database station history
Model-based testing tool
A REST-like, JSON interface to Nagios
Graphing voltage data from NEURON sims of C. elegans conectome
This repo introduces the Paxos consensus protocol, starting from a simple but incorrect protocol and making gradual refinements to morph the initial attempt into the complete Paxos protocol.
Rust bindings for the Python interpreter
Python exercises from https://github.com/exercism/python
Interactive visualization of the coefficient of determination (R²)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.