readevalprint's Stars
google/re2
RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.
lightningnetwork/lnd
Lightning Network Daemon ⚡️
encode/apistar
The Web API toolkit. 🛠
mimblewimble/grin
Minimal implementation of the Mimblewimble protocol.
lark-parser/lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
viewflow/viewflow
Reusable workflow library for Django
saitoha/libsixel
A SIXEL encoder/decoder implementation derived from kmiya's sixel (https://github.com/saitoha/sixel).
ethereum/py-evm
A Python implementation of the Ethereum Virtual Machine
intercellular/cell
A self-driving web app framework
panrafal/depthy
Extract depth map and original from photos made with Google Camera's Lens Blur.
LN-Zap/zap-desktop
Zap Wallet - Cross platform Lightning Network wallet focused on user experience and ease of use ⚡️
forgefed/forgefed
ForgeFed - Federation Protocol for Forge Services
NilCoalescing/djangochannelsrestframework
A Rest-framework for websockets using Django channels-v4
ivicanikolicsg/MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
tboox/vm86
🍔 A x86 Script Instruction Virtual Machine
o1-labs/snarky
OCaml DSL for verifiable computation
VictorTaelin/Caramel
A modern syntax for the λ-calculus.
ethereum/populus
The Ethereum development framework with the most cute animal pictures
axiak/pyre2
Python wrapper for RE2
samuraisam/django-json-rpc
JSON-RPC Implementation for Django
tomstuart/nothing
Programming with Nothing
coq-io/io
A library for effects in Coq.
rgxg/rgxg
rgxg source code
JayH5/alpine-pypy
Docker-based builds for PyPy on Alpine Linux
raphaelhuefner/ace-mode-solidity
Ace ( https://ace.c9.io/ ) Edit Mode for Ethereum's Solidity language ( https://solidity.readthedocs.io/en/latest/ ).
benmoran56/chippy
A basic chiptune style waveform creation module in pure python.
cmehay/pytor
Osirium/pytojsonschema
sdiehl/bnlc
Binary lambda calculus
tsampi/tsampi-0000
Tsampi-0000 is a minimal federated blockchain. This is the first public testnet. Make an issue with your public git repo and if it validates according to the rules it will be merged in.