caio

followers

following

stars

https://caio.co

caio's starred repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION241800

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION316400

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Language:OCamlNOASSERTION78400

min-caml

moved from https://sourceforge.net/p/min-caml/code/

Language:OCamlNOASSERTION47600

possum

concurrent disk-backed cache supporting efficient direct file I/O, transactions, and snapshots using file cloning and sparse files

Language:RustMPL-2.06700

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language:RustMPL-2.0324500

FriendsDontLetFriends

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

Language:RMIT618700

threadx

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Language:CMIT280800

makepad

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Language:WebAssemblyMIT497800

ustreamer

µStreamer - Lightweight and fast MJPEG-HTTP streamer

Language:CGPL-3.0162600

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustApache-2.0456900

corrosion

Gossip-based service discovery (and more) for large distributed systems.

Language:RustApache-2.063000

jj

A Git-compatible VCS that is both simple and powerful

Language:RustApache-2.0745700

turmoil

Add hardship to your tests

Language:RustMIT71600

datacake

Tooling for creating your own distributed systems.

Language:RustMIT38600

giter

i wanted to pass a function an iterator over a map's keys and now I have this.

Language:GoGPL-3.0200

toast

Containerize your development and continuous integration environments. 🥂

Language:RustNOASSERTION155400

ngrep

ngrep is like GNU grep applied to the network layer. It's a PCAP-based tool that allows you to specify an extended regular or hexadecimal expression to match against data payloads of packets. It understands many kinds of protocols, including IPv4/6, TCP, UDP, ICMPv4/6, IGMP and Raw, across a wide variety of interface types, and understands BPF filter logic in the same fashion as more common packet sniffing tools, such as tcpdump and snoop.

Language:CNOASSERTION86500

little-raft

The lightest distributed consensus library. Run your own replicated state machine! ❤️

Language:RustMIT41100

foca

mirror of https://caio.co/de/foca/

Language:RustMPL-2.013700

torrent-net

Distributed search engines using BitTorrent and SQLite

Language:CApache-2.0102100

datasette

An open source multi-tool for exploring and publishing data

Language:PythonApache-2.0909900

realworld

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

Language:TypeScriptMIT7979600

awesome-falsehood

😱 Falsehoods Programmers Believe in

CC0-1.02336200

distsys-class

Class materials for a distributed systems lecture series

jvm-tools

Small set of tools for JVM troublshooting, monitoring and profiling.

Language:JavaApache-2.0329900

post-mortems

A collection of postmortems. Sorry for the delay in merging PRs!

go-tdigest

mirror of https://caio.co/de/go-tdigest/

Language:GoMIT10800

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Language:Jupyter NotebookMIT2651400

papers-we-love

Papers from the computer science community to read and discuss.

Language:Shell8525500