该项目使用Rust编程语言将一组基本操作实现为R1CS电路。R1CS(秩-1约束系统...
This project implements a set of basic operations as an R1CS circuit using the Rust programming language. An R1CS (Rank-1 Constraint System) is widely used in cryptography and privacy, for example, in the implementation of zero-knowledge proof systems (zkSNARKs). (2023-11-25, Rust, 0KB, 下载0次)
一个音频合成库,灵感来自glsl,用rust编程
an audio synthesis library, inspired by glsl, programmed in rust (2023-11-18, Rust, 0KB, 下载0次)
Use the Faust(Functional Audio Stream)是一种用于Pharo内部声音合成的函数编程语言
Use the Faust (Functional Audio Stream) is a functional programming language for sound synthesis inside Pharo (2023-11-10, Rust, 0KB, 下载0次)
一种“乡村”编程语言,具有健全的内存管理、参与者和连贯的语法,可编译为Rust,
a "rustic" programming language with sane memory management, actors, and a coherent syntax, that compiles to Rust, (2023-09-08, Rust, 0KB, 下载0次)
一种快速、内存安全、直观的编程语言。,
A fast, memory-safe, intuitive programming language., (2022-04-26, Rust, 0KB, 下载0次)
一个用于我的CPU架构的汇编程序和硬件模拟虚拟机,
An assembler and hardware-simulating virtual machine for my CPU architecture, (2022-05-15, Rust, 0KB, 下载0次)
用于测试针对可编程交换机的编译器的硬件交换机模拟器,
Hardware switch simulator used for testing compilers targeting programmable switches, (2020-11-02, Rust, 0KB, 下载0次)
从Rust编程开始,简单的UAL,
Starting with Rust programming, simple UAL, (2022-07-04, Rust, 0KB, 下载0次)