Beast code in Giters

threonorm's repositories

simulisp

Processor project

Language:Haskell6 40

bsc

Bluespec Compiler (BSC)

Language:HaskellNOASSERTION000

bsv_orange

Language:Verilog010

bsvtokami

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

Language:PythonMIT000

buildcache

Memoizes execution of build commands

Language:PythonMIT020

clash-compiler

CAES Language for Synchronous Hardware

Language:HaskellNOASSERTION020

connectal

Connectal is a framework for software-driven hardware development.

Language:BluespecMIT020

sponge

Language:OCaml030

django-cas

K-State's maintained version of django-cas

Language:PythonMIT020

egg

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

Language:RustMIT000

FWHAndTests

020

Graph-isomorphism

Projet d'algo

Language:C000

hs-to-coq

Convert Haskell source code to Coq source code

Language:CoqMIT020

KalmanMatlabCode

Kalman Filter for Beginners: with MATLAB Examples

Language:Matlab000

language-bh

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

Language:TypeScriptNOASSERTION000

lpnbysat

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

Language:C000

mpri13

ML type inference in presence of type classes

Language:OCamlGPL-2.0020

pipeline

Rudimentary configurable graphics pipeline

Language:C++010

projet-kahn

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

000

python-client-sword2

Python client library which conforms to the SWORDv2 specification

Language:PythonMIT020

sanctum

The MIT Sanctum processor top-level project

Language:AssemblyMIT010

stateFromCircuit

Language:Haskell020

Toooba

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

Language:VerilogNOASSERTION010

tpavecpaul

Language:TeX030

vscode-glspc

LSP client for any LSP server

Language:JavaScriptMIT000