threonorm Goto Github PK

bsc

Bluespec Compiler (BSC)

bsv_orange

bsvtokami

Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.

buildcache

Memoizes execution of build commands

clash-compiler

CAES Language for Synchronous Hardware

connectal

Connectal is a framework for software-driven hardware development.

django-cas

K-State's maintained version of django-cas

egg

egg is a flexible, high-performance e-graph library

fwhandtests

graph-isomorphism

Projet d'algo

hs-to-coq

Convert Haskell source code to Coq source code

kalmanmatlabcode

Kalman Filter for Beginners: with MATLAB Examples

language-bh

TextMate-style grammar for syntax highlighting of Bluespec BH/Classic

lpnbysat

A small test of solving LPN by SAT-solver in Sage. It works only with toy parameters

mpri13

ML type inference in presence of type classes

pipeline

Rudimentary configurable graphics pipeline

projet-kahn

Projet de système et réseau : différentes implémentations de réseaus de Kahn.

python-client-sword2

Python client library which conforms to the SWORDv2 specification

sanctum

The MIT Sanctum processor top-level project

simulisp

Processor project

sponge

statefromcircuit

toooba

RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT

tpavecpaul

vscode-glspc

LSP client for any LSP server