- Freiburg, Germany
- linkedin.com/in/alexander-niederbuehl
-
-
starlette_exporter Public
Forked from stephenhillier/starlette_exporterPrometheus exporter for Starlette and FastAPI
Python Apache License 2.0 UpdatedOct 18, 2023 -
build-your-own-lisp-kt Public
Kotlin implementation of the Lisp interpreter from https://buildyourownlisp.com
Kotlin UpdatedOct 21, 2022 -
backend-arrow-example Public
Forked from arrow-kt/backend-arrow-exampleExample of Arrow features in the context of a Ktor project
Kotlin UpdatedMay 20, 2022 -
-
modelator Public
Forked from informalsystems/modelatorModel-based testing tool
Rust Apache License 2.0 UpdatedDec 24, 2021 -
-
-
Examples Public
Forked from tlaplus/ExamplesA collection of TLA+ specifications of varying complexities
TLA Other UpdatedAug 11, 2021 -
awesome-tlaplus Public
Forked from tlaplus/awesome-tlaplusA curated list of TLA+ resources.
UpdatedAug 11, 2021 -
-
fastapi-pagination Public
Forked from uriyyo/fastapi-paginationFastAPI pagination
Python MIT License UpdatedJul 21, 2021 -
apalache Public
Forked from apalache-mc/apalacheAPALACHE: symbolic model checker for TLA+
Scala Apache License 2.0 UpdatedApr 19, 2021 -
channels Public
Forked from dmilstein/channelsTLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
TLA MIT License UpdatedApr 15, 2021 -
aiorwlock Public
Forked from aio-libs/aiorwlockRead/Write Lock - synchronization primitive for asyncio
Python Apache License 2.0 UpdatedApr 11, 2021 -
tlaplus-exercises Public
Jupyter notebook with exercises from https://learntla.com
-
tlaplus_jupyter Public
Forked from kelvich/tlaplus_jupyterJupyter kernel for TLA⁺
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 7, 2021 -
elasticsearch-dbapi Public
Forked from preset-io/elasticsearch-dbapiA DBAPI and SQLAlchemy dialect for Elasticsearch
Python Apache License 2.0 UpdatedOct 6, 2020 -
sentiment-chat Public archive
Real-Time Sentiment Analysis in a Chat Application
TypeScript UpdatedJun 7, 2020 -
Rust bindings for the Python interpreter
Rust Other UpdatedJun 7, 2020 -
-
paxos-from-the-ground-up Public
Forked from imnaseer/paxos-from-the-ground-upThis 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.
JavaScript UpdatedNov 8, 2019 -
django-dajaxice Public
Forked from ifanrx/django-dajaxiceEasy 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" approac…
Python Other UpdatedAug 6, 2019 -
iscc-specs Public
Forked from iscc/iscc-specsISCC: International Standard Content Code
Python Other UpdatedJul 8, 2019 -
are-we-learning-yet Public
Forked from anowell/are-we-learning-yetHow ready is Rust for Machine Learning?
HTML Creative Commons Attribution 4.0 International UpdatedJan 7, 2019 -
python-exercises Public
Python exercises from https://github.com/exercism/python
-
nagios-api Public
Forked from zorkian/nagios-apiA REST-like, JSON interface to Nagios
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 20, 2018 -
scikit-learn Public
Forked from scikit-learn/scikit-learnscikit-learn: machine learning in Python
-
coala-bears Public
Forked from coala/coala-bearsBears for coala
Python GNU Affero General Public License v3.0 UpdatedDec 19, 2017 -
borg Public
Forked from borgbackup/borgDeduplicating archiver with compression and authenticated encryption.
Python Other UpdatedJul 24, 2017