stevana Goto Github PK
Name: Stevan A
Type: User
Name: Stevan A
Type: User
Notes on how we potentially could build reliable, scalable and maintainable computer systems.
Bit-level codec library
Generate Nix build instructions from a Cabal file
SSH commands via jsch
Cocktail database
State machines with async I/O capabilities
Parallel property-based testing with a deterministic thread scheduler
A test kit for fast and deterministic system tests.
Pandoc-compatible templating system
An experiment in controlling the size of a thread pool using a PID controller.
Black-box transactional safety checker based on cycle detection
A terminal based feed reader written in Haskell.
Haskell embedding of PlusCal
Haskell bindings to Microsoft's Z3 API (unofficial).
Utility modules
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
Experiment with hot swapping pipelined state machines
A Dependently Typed Functional Programming Language
A framework for distributed systems verification, with fault injection
Verifies the linearizability of experimentally accessible histories.
Lineage-driven fault injection in Prolog
[mirror] A C library for fault injection
Nix Packages collection
An experiment in declaratively programming parallel pipelines of state machines.
Experiment in creating parallel pipelines using the Disruptor.
A tutorial about how to apply property-based testing to stateful systems.
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.