Stars
A script that helps generate a rich GitHub Contribution Graph for your account 🤖
Um jogo multiplayer bastante simples para testarmos o Socket.io
VSDFLOW is an automated solution to programmers, hobbyists and small scale semiconductor technology entrepreneurs who can craft their ideas in RTL language, and convert the design to hardware using…
GoogleTest - Google Testing and Mocking Framework
A lightweight C yacc (and some cool LR(1) code in ml)
Working Draft of the RISC-V Debug Specification Standard
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
A formal semantics of the RISC-V ISA in Haskell
This is a wishbone compliant RISCV Vscale core intended to run part of FuseSoC project with other (open)cores.
List of resources about programming practices for writing safety-critical software.
Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance
The CompCert formally-verified C compiler
Random instruction generator for RISC-V processor verification
single file scheme interpreter with tail call optimization
Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a compl…
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A directory of Western Digital’s RISC-V SweRV Cores