space-miner

space-miner's Stars

• DiceDB/dice

  DiceDB is a redis-compliant, in-memory, real-time, and reactive database optimized for modern hardware and for building and scaling truly real-time applications.

  Language:Go6.3k982

• fizzbee-io/fizzbee

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  Language:Python1418

• google/leveldb

  LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

  Language:C++36.4k7.8k

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k232

• google/tarpc

  An RPC framework for Rust with a focus on ease of use.

  Language:Rust3.3k196

• arminbiere/satch

  SAT Solver SATCH

  Language:C10718

• SeaOfNodes/Simple

  A Simple showcase for the Sea-of-Nodes compiler IR

  Language:Java37528

• jmgrosen/clocky-lang

  Language:C5

• artjomPlaunov/pfpl

  Language:Standard ML1

• kangp3/phone

  Language:Rust71

• martianbit/nyaa_dl

  A CLI tool for the site nyaa.si including automatization.

  Language:Python1

• sombreroman55/Gamebryo

  A Game Boy emulator

  Language:C1

• elttil/sbOS

  From Scratch x86 Hobbyist Operating System

  Language:C4

• elttil/compiler

  Language:C1

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml46489

• A-Manning/aoc-2020

  Advent of Code 2020 Solutions

  Language:Haskell1

• changsublime/tictactoe

  learning rust

  Language:Rust1

• changsublime/8-ball-pool

  Language:C#12

• overtone/emacs-live

  M-x start-hacking

  Language:Emacs Lisp1.5k241

• avillega/generative-art

  Generative art made by Andres V

  Language:Clojure262

• khollbach/gzip

  :construction: Work in progress! :construction:

  Language:Rust1

• brobbio/bittorrent_client

  Command line implementation of bittorrent client

  Language:Python1

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• robert-strandh/SICL

  A fresh implementation of Common Lisp

  Language:TeX1.1k78

• coalton-lang/coalton

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  Language:Common Lisp1.1k70

• marijnheule/microsat

  microsat

  Language:C13026

• papatangosierra/serifu

  A specification, parser, and editor for the Serifu markup language.

  Language:JavaScript261

• ysono/pancake

  Language:Rust71

• cboxdoerfer/fsearch

  A fast file search utility for Unix-like systems based on GTK3

  Language:C3.3k209

• avinassh/py-caskdb

  (educational) build your own disk based KV store

  Language:Python1.2k90