ahmadyan/ser
Analytical tool to analyze soft error rate in hardware circuits
Developer Profile
ahmadyan
Discovered public repositories for ahmadyan in the GitHub catalog.
ahmadyan/gnu-gsl.win.binary
Header files and Binaries for GnuGSL package for windows version 1.16
ahmadyan/gnu-gsl-for-windows
Fork of Brian Gladman's Gnu GSL package for windows, version 1.16
ahmadyan/mvptree.hamming
A fork of D. Grant Starkweather's multiple vantage point tree with hamming distance
ahmadyan/mvptree
A fork of D Grant Starkweather's multiple vantage point tree library
ahmadyan/ReaK
Software platform and algorithms for multi-body dynamics simulation, control, estimation, and path-planning. Intended for robotics software development and testing.
ahmadyan/mcl
Simple circuit library for MiniSat
ahmadyan/minisat
A minimalistic and high-performance SAT solver
ahmadyan/Urbana
A Random Tree based SAT solver
ahmadyan/rrt.analog-test-generation
Test generation algorithm using RRT
ahmadyan/Daedalus
Framework for analyzing gate-level netlist
ahmadyan/RRT
Analog verification using Rapidly-exploring Random Tree algorithm
ahmadyan/Reachability
Reachability Analysis for Nonlinear Analog Systems