-
tla-specs ★ PINNED
No description.
TLA ★ 6 4y agoExplain → -
pyo3 ★ PINNED ⑂
Rust bindings for the Python interpreter
Rust ★ 0 6y agoExplain → -
r-squared ★ PINNED
Interactive visualization of the coefficient of determination (R²)
★ 1 10y agoExplain → -
room-impulse-response ★ PINNED
No description.
Jupyter Notebook ★ 1 10y agoExplain → -
property-based-testing ★ PINNED
No description.
Jupyter Notebook ★ 0 10y agoExplain → -
python-exercises
Python exercises from https://github.com/exercism/python
Python ★ 4 8y agoExplain → -
tlaplus-exercises
Jupyter notebook with exercises from https://learntla.com
Jupyter Notebook ★ 2 5y agoExplain → -
algo-book-julia
No description.
Julia ★ 2 11y agoExplain → -
units
No description.
Lean ★ 1 2y agoExplain → -
PYG
No description.
Jupyter Notebook ★ 1 6y agoExplain → -
isd-stations
Visualization of the Integrated Surface Database station history
JavaScript ★ 1 10y agoExplain → -
sudoku
No description.
Julia ★ 1 11y agoExplain → -
apalache ⑂
APALACHE: symbolic model checker for TLA+
★ 0 5y agoExplain → -
starlette_exporter ⑂
Prometheus exporter for Starlette and FastAPI
★ 0 2y agoExplain → -
sentiment-chat ▣
Real-Time Sentiment Analysis in a Chat Application
TypeScript ★ 0 6y agoExplain → -
build-your-own-lisp-kt
Kotlin implementation of the Lisp interpreter from https://buildyourownlisp.com
Kotlin ★ 0 3y agoExplain → -
backend-arrow-example ⑂
Example of Arrow features in the context of a Ktor project
★ 0 4y agoExplain → -
ktor-rsocket-error
No description.
Kotlin ★ 0 4y agoExplain → -
modelator ⑂
Model-based testing tool
★ 0 4y agoExplain → -
log-changes
No description.
Shell ★ 0 4y agoExplain → -
alexander-n
No description.
★ 0 4y agoExplain → -
paxos-from-the-ground-up ⑂
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.
★ 0 6y agoExplain → -
fastapi-pagination ⑂
FastAPI pagination
★ 0 5y agoExplain → -
channels ⑂
TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
★ 0 5y agoExplain → -
aiorwlock ⑂
Read/Write Lock - synchronization primitive for asyncio
★ 0 5y agoExplain → -
tlaplus_jupyter ⑂
Jupyter kernel for TLA⁺
★ 0 5y agoExplain → -
awesome-tlaplus ⑂
A curated list of TLA+ resources.
★ 0 4y agoExplain → -
Examples ⑂
A collection of TLA+ specifications of varying complexities
★ 0 4y agoExplain → -
elasticsearch-dbapi ⑂
A DBAPI and SQLAlchemy dialect for Elasticsearch
★ 0 5y agoExplain → -
django-dajaxice ⑂
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.
Python ★ 0 7y agoExplain → -
iscc-specs ⑂
ISCC: International Standard Content Code
Python ★ 0 7y agoExplain → -
are-we-learning-yet ⑂
How ready is Rust for Machine Learning?
HTML ★ 0 7y agoExplain → -
nagios-api ⑂
A REST-like, JSON interface to Nagios
Python ★ 0 8y agoExplain → -
coala-bears ⑂
Bears for coala
Python ★ 0 8y agoExplain → -
borg ⑂
Deduplicating archiver with compression and authenticated encryption.
Python ★ 0 9y agoExplain → -
grafana ⑂
The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More
Go ★ 0 9y agoExplain → -
NEURONSimData ⑂
Graphing voltage data from NEURON sims of C. elegans conectome
Python ★ 0 11y agoExplain → -
scikit-learn ⑂
scikit-learn: machine learning in Python
★ 0 8y agoExplain →
No repos match these filters.