mayureshw

Pinned Repositories

ahir
Algorithm to hardware compilation tools (e.g. C to VHDL).
Language:VHDL0 0 00
bool2sat
Run SAT solver on arbitrary boolean formula
Language:Python0 2 00
ceptool
A checker for event sequence properties on a stream of events
Language:C++0 1 00
CSparse
CSparse fork to try out FPGA acceleration
Language:C0 0 00
feeds2mail
feeds2mail is a tool to email new articles appearing on web in the form of rss feeds, collections of rss feeds, youtube etc. Its basic idea is inspired by rss2email with a lot of flexibility in terms of specifying sources of articles
Language:Python2 2 10
ltsmin
The LTSmin model checking toolset
Language:C0 0 00
mftools
Mutual fund investment tracking tool for Indian Mutual Funds.
Language:Python0 1 00
petrisimu
A C++ based multithreaded petri net simulator
Language:C++0 1 00
pyrvg
Python utility to read from Carestream 5200 dental intraoral camera.
Language:Python3 1 00
quartools
CLI interface for various flows in Quartus software
0 1 00

mayureshw's Repositories

mayureshw/pyrvg
Python utility to read from Carestream 5200 dental intraoral camera.
Language:Python3 1 00
mayureshw/feeds2mail
feeds2mail is a tool to email new articles appearing on web in the form of rss feeds, collections of rss feeds, youtube etc. Its basic idea is inspired by rss2email with a lot of flexibility in terms of specifying sources of articles
Language:Python2 2 10
mayureshw/ahir
Algorithm to hardware compilation tools (e.g. C to VHDL).
Language:VHDL0 0 00
mayureshw/bool2sat
Run SAT solver on arbitrary boolean formula
Language:Python0 2 00
mayureshw/ceptool
A checker for event sequence properties on a stream of events
Language:C++0 1 00
mayureshw/CSparse
CSparse fork to try out FPGA acceleration
Language:C0 0 00
mayureshw/ltsmin
The LTSmin model checking toolset
Language:C0 0 00
mayureshw/makeahir
Utilities to work with AHIR framework
Language:Vim Script0 1 00
mayureshw/mftools
Mutual fund investment tracking tool for Indian Mutual Funds.
Language:Python0 1 00
mayureshw/petrisimu
A C++ based multithreaded petri net simulator
Language:C++0 1 00
mayureshw/quartools
CLI interface for various flows in Quartus software
0 1 00
mayureshw/netlistsimu
A netlist simulator with randomization suitable to verify asynchronous circuits
Language:C++1 0
mayureshw/pdffiller
Fill pdfs by overlaying text on them using latex
Language:Python1 0
mayureshw/vctools
Virtual Circuit simulator and other tools for the AHIR framework
Language:C++1 0
mayureshw/vivadotools
CLI interface for various flows in Vivado software
Language:Tcl1 0
mayureshw/xls2pyobj
Utility to convert rows of a spread sheet like file to a list of python objects based on a specification
Language:Python1 0
mayureshw/xsbcppif
A C++ interface with XSB Prolog
Language:C++1 0