angelhof's Stars
mermaid-js/mermaid
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
vadimdemedes/ink
🌈 React for interactive command-line apps
denisidoro/navi
An interactive cheatsheet tool for the command-line
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
resilience4j/resilience4j
Resilience4j is a fault tolerance library designed for Java8 and functional programming
kubernetes-client/python
Official Python client library for kubernetes
PaulJuliusMartinez/jless
jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.
scottrogowski/code2flow
Pretty good call graphs for dynamic languages
dafny-lang/dafny
Dafny is a verification-aware programming language
birchb1024/frangipanni
Program to convert lines of text into a tree structure.
instana/robot-shop
Sample microservices application for playing with
JakWai01/lurk
A pretty (simple) alternative to strace
lgienapp/aquarel
Styling matplotlib made easy
rgerum/pylustrator
Visualisations of data are at the core of every publication of scientific research results. They have to be as clear as possible to facilitate the communication of research. As data can have different formats and shapes, the visualisations often have to be adapted to reflect the data as well as possible. We developed Pylustrator, an interface to directly edit python generated matplotlib graphs to finalize them for publication. Therefore, subplots can be resized and dragged around by the mouse, text and annotations can be added. The changes can be saved to the initial plot file as python code.
mgree/ffs
the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
curtsinger-lab/riker
Always-Correct and Fast Incremental Builds from Simple Specifications
ppc64le/build-scripts
Build scripts for open source projects on Linux on POWER LE
cucapra/turnt
simple snapshot-style integration testing for commands
eniac/Beldi
phoenix-dataplane/phoenix
Phoenix dataplane system service
stanford-futuredata/Uniserve
A runtime implementation of data-parallel actors.
mgree/libdash
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
xlab-uiuc/rainmaker
binpash/dish
DiSh: Dynamic Shell-Script Distribution
eniac/mu2sls
A framework for correctly implementing stateful microservice applications on serverless using standard Python.
filibuster-testing/filibuster-corpus
Filibuster application corpus.
gsakkas/seq2parse
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
fniksic/diffstream
A differential testing library for Apache Flink.