marsmxm

riscv-isa-sim

Spike, a RISC-V ISA Simulator

cryptol-semantics

Semantics for Cryptol

996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

company-coq

A Coq IDE build on top of Proof General's Coq mode

light-4j

A fast, lightweight and more productive microservices framework

rars

RARS -- RISC-V Assembler and Runtime Simulator

dnc

A TensorFlow implementation of the Differentiable Neural Computer.

dodrio

A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

redisson

Redisson - Easy Redis Java client and Real-Time Data Platform. Valkey compatible. Sync/Async/RxJava/Reactive API. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, RPC, local cache ...

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

j-bob

shadowsocks-rust

A Rust port of shadowsocks

Patchouli-Compiler

An Oberon-07 compiler for Intel 64 (AMD64) architecture

cervus

The Cervus Subsystem for Linux

TypeDD-Samples

Sample code from "Type Driven Development with Idris"

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Reverse-Proxy-for-Google

[Nginx] setup Nginx as a reverse proxy for Google

ulisp

A version of the Lisp programming language for ATmega-based Arduino boards.

envoy

Cloud-native high-performance edge/middle/service proxy

typed-html

Type checked JSX for Rust

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

pinpoint

APM, (Application Performance Management) tool for large-scale distributed systems.

tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

smoke-framework

A light-weight server-side service framework written in the Swift programming language.

wireguard-monolithic-historical

Historical monolithic WireGuard repository, split into wireguard-tools, wireguard-linux, and wireguard-linux-compat.

parity-ethereum

The fast, light, and robust client for Ethereum-like networks.

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

retro

Retro Games in Gym

project-norebo

Project Norebo