Beast code in Giters

ARNAB DAS's repositories

Satire

Scalable yet rigorous Floating-point Error Analysis

Language:C++10 5 1

CIVL-CS6110

Context-boundex exploration in civl

Language:Java1 20

Seesaw

Language:C1 50

SymbiYosys

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Language:PythonNOASSERTION100

AlgoAssignment3

Language:TeX020

AlgoAssignment4

Language:TeX000

apps

Language:C020

ASCI

Advanced Scientific Computing

Language:TeX020

bsc

Bluespec Compiler (BSC)

Language:HaskellNOASSERTION010

C

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

GPL-3.0000

CIVL-NewFlowCB

CB implementation in a modified mechanism

Language:Java000

COARCH

cs6810

Language:TeX020

CS6230

HPC

Language:Matlab020

CS6235_GPU_Project

For the GPU gelpia implementation

Language:Cuda030

darkriscv

opensouce RISC-V cpu core implemented in Verilog from scratch in one night!

Language:VerilogBSD-3-Clause010

essentialmath

Example code and libraries for the book "Essential Mathematics for Games and Interactive Applications."

Language:CNOASSERTION010

FPTaylor

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

Language:OCamlMIT010

gelpia

Rigorous Global Branch-and-Bound Optimizer

Language:PythonMIT010

hwt

VHDL/Verilog/SystemC code generator, simulator writen in python/c++

Language:PythonMIT010

ML_Assignment1

Language:Python020

ML_Assignment2

Language:Python000

ML_Assignment4

CS6350-Assignment4

Language:TeX000

ML_Assignment5

Language:Python000

ML_Assignment6

Language:TeX020

ML_Project

Language:Python030

Python

All Algorithms implemented in Python

Language:PythonMIT010

riscv-formal

RISC-V Formal Verification Framework

Language:VerilogISC010

spectral

020

symengine

SymEngine is a fast symbolic manipulation library, written in C++

NOASSERTION000

UART

Language:SystemVerilog020