- Da Nang, Vietnam
-
23:25
(UTC +07:00)
Stars
Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit benchmarks.
Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps
Sources of the "Well Specified Common Lisp" specification which is based on the final draft of the Common Lisp standard but is not a new Common Lisp standard.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A compiler for ARM, X86, MSP430, xtensa and more implemented in pure Python
Tutorial-esque examples for common compiler-related tasks in Cranelift
A fast framework for writing baseline compiler back-ends in C++
Portable Foreign Function Interface (FFI) for R6RS
Awesome Gear Protocol & Vara Network: standards, SDKs, Sails, tools, examples, wallets, explorers, docs
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
A Rust hash table using 8-way hopscotch hashing with constant-time worst-case lookups, and SIMD acceleration
ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
A modern, very customizable text editor, configured in rust
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
General-purpose editor/IDE with high expansibility in Common Lisp
Advanced Compiler Construction CS 420 @ EPFL
🗻 Log-structured, embeddable key-value storage engine written in Rust
Zellij, Yazi with Nushell and Lua scripting add a File Tree to Helix (or your prefered editor). An IDE-like experience, in the terminal. With nix as the only dependency.
File manager for deepin desktop environment.
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.