my academic site and blog
☆20Mar 6, 2026Updated 3 weeks ago
Alternatives and similar repositories for home
Users that are interested in home are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts and flowgraphs for the Es'hailsat-2 amateur transponder☆10Apr 5, 2019Updated 6 years ago
- Coprocessor Accelerated Filterbank Extension Library - A CUDA implementation of a Polyphase Filterbank Channelizer and Resampler☆17Feb 27, 2018Updated 8 years ago
- Fixes the whitespace issues that 'git-diff --check' complains about☆41Feb 20, 2018Updated 8 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 3 months ago
- Basic disassembler plugin for HotSpot JVM (based on libdisasm)☆11Jun 7, 2012Updated 13 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆15Dec 28, 2017Updated 8 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Public Release of Stream-Dataflow☆14May 17, 2019Updated 6 years ago
- An attempt to implements j.u.c whereby other alogrithms☆67Jan 15, 2019Updated 7 years ago
- Exercises, answers, and hints to go along with the book "Functional Programming in Scala"☆13Jun 23, 2018Updated 7 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated last year
- Source code of the processing-in-memory simulator used in the GRIM-Filter paper published at BMC Genomics in 2018: "GRIM-Filter: Fast See…☆11Feb 5, 2018Updated 8 years ago
- ☆13Sep 10, 2018Updated 7 years ago
- hterm: Browser terminal server using Google/Chrome's hterm emulator☆14Mar 4, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Benchmarks, testbenches, and transformed codes for high-level synthesis research☆13Aug 18, 2017Updated 8 years ago
- OpenFaaS function for Caire, the content aware image resize library. (https://github.com/esimov/caire)☆14May 2, 2021Updated 4 years ago
- Falcon Accelerated Genomics Pipelines☆15Oct 1, 2019Updated 6 years ago
- ☆10May 8, 2021Updated 4 years ago
- A language built atop the Sparse Synchronous Model☆18Dec 23, 2023Updated 2 years ago
- A computational model for insanely complex functions☆40May 13, 2012Updated 13 years ago
- An Async Object Pool Implementation used in our web service framework.☆11Jun 2, 2015Updated 10 years ago
- Building upon BWA-MEM2, this repository includes performance improvements to the seeding and mate-rescue steps.☆13Oct 15, 2021Updated 4 years ago
- Fast Neighbor-Joining and other distance-based methods for phylogenetics☆15Jun 21, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- my blog post source file(markdown )☆13Oct 5, 2016Updated 9 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- A tool for weighted model counting through tensor network contraction☆21Nov 13, 2021Updated 4 years ago
- ☆15Dec 25, 2018Updated 7 years ago
- ☆15Jun 22, 2022Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- ☆14Nov 11, 2019Updated 6 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- WebApp for Protoshop.☆109Dec 4, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆20Jan 31, 2026Updated last month
- Custom grammar to query JSON with Antlr☆15Sep 8, 2018Updated 7 years ago
- This repository applies Lidar Registration for KITTI Velodyne dataset.☆16Jan 19, 2017Updated 9 years ago
- gemc website:☆15Feb 7, 2025Updated last year
- Visualizing the Git data model.☆13Jun 12, 2018Updated 7 years ago
- Repository for general Typelevel information, activity and issues☆19Jan 19, 2022Updated 4 years ago
- Using synthetically generated video data to learn how/when R-CNNs can outperform CNNs.☆17Mar 18, 2018Updated 8 years ago