Funded solution Archive | Page 3 of 194 | Next Generation Internet

Micro learning platform for decentralized educational resources

Formal verification of software written in machine code

Reduce overhead on bhyve Type-2 hypervisor

Frugal and ergonomic selfhosting

Libre digital audio workstation

Verilog-AMS Testbench Framework for Open EDA Verification

Functional SWD debugging support for VexRiscv/VexiiRiscv

Libre intertial hardware security module

Static type system for Nix programming language.

High-performance Analog Simulation

1 2 3 4 … 194