Stars
Graphviz DOT grammar for tree-sitter.
Simulating 3D perception with face tracking in the browser
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
This repository contains all the codes used in a thesis at Information Technology University (ITU). The topic of the thesis is pronunciation verification using anomaly detection.
Simple command line tool for text to image generation using OpenAI's CLIP and Siren (Implicit neural representation network). Technique was originally created by https://twitter.com/advadnoun
An SVG library written in Crystal. Can be used to make cool animations, as well as other kinds of uses.
A simple digital waveform viewer with vi-like key bindings.
Code for two SIGGRAPH 2020 papers from UPenn, AnisoMPM and IQ-MPM!
Nvim Treesitter configurations and abstraction layer
fugitive.vim: A Git wrapper so awesome, it should be illegal
An incremental parsing system for programming tools
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
Style guide enforcement for VHDL
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
UCLID5: formal modeling, verification, and synthesis of computational systems
A generic parser and tool package for the BTOR2 format.
The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for float…
🚘 A curated list of papers of deep learning in autonomous driving papers
A crash course in six episodes for software developers who want to become machine learning practitioners.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more