Alternatives and similar repositories for heartbeat

Users that are interested in heartbeat are comparing it to the libraries listed below

• naalit / durin

  View on GitHub
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Feb 8, 2022Updated 4 years ago
• riswords / quiche

  View on GitHub
  ☆24Feb 26, 2023Updated 2 years ago
• habit-lang / alb

  View on GitHub
  ☆40Aug 5, 2024Updated last year
• VeronicaAlvarez / online-probabilistic-load-forecasting

  View on GitHub
  ☆10Jul 29, 2022Updated 3 years ago
• lahovniktadej / gatree

  View on GitHub
  Evolutionary decision trees
  ☆11Jun 16, 2025Updated 8 months ago
• FarisHijazi / LZ4-Decompressor-Verilog

  View on GitHub
  Designing and implementing LZ4 decompression algorithm in hardware (FPGA) using Verilog hardware description language
  ☆17Feb 20, 2019Updated 6 years ago
• pdimov / mustache

  View on GitHub
  Boost.Mustache
  ☆10Jan 31, 2023Updated 3 years ago
• skoblov-lab / spliceai-reforged

  View on GitHub
  A GPU-friendly implementation of SpliceAI
  ☆11Dec 8, 2022Updated 3 years ago
• xatellite / OpenLinePlanner

  View on GitHub
  Prototype public schematic transport lines in seconds
  ☆12Nov 11, 2023Updated 2 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• senkuuuuu / Amadeus

  View on GitHub
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆22Jul 28, 2025Updated 6 months ago
• grayresearch / xsoc-xr16

  View on GitHub
  Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…
  ☆12Jan 7, 2023Updated 3 years ago
• CatfishPHP / Container

  View on GitHub
  Lightweight, fast, simple Dependency Injection Container
  ☆11Sep 2, 2021Updated 4 years ago
• davidgiven / micropython

  View on GitHub
  MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
  ☆12Jun 20, 2024Updated last year
• naalit / pika

  View on GitHub
  A WIP little dependently-typed systems language
  ☆41Aug 13, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• pepipost / BIMI-official

  View on GitHub
  ✨ Brand Indicators for Message Identification or BIMI ( 📢 pronounced: Bih-mee) is an emerging email 📧 specification that enables the us…
  ☆10Mar 6, 2024Updated last year
• dimitrs / cpp-opencl

  View on GitHub
  C++ to OpenCL C Source-to-source Translation
  ☆13Feb 15, 2014Updated 12 years ago
• jevinskie / General-Slow-DDR3-Interface

  View on GitHub
  A general slow DDR3 interface. Very little resource consumption. Suits for all FPGAs with 1.5V IO voltage.
  ☆11Dec 14, 2022Updated 3 years ago
• emerick42 / kairoi

  View on GitHub
  Kairoi is a Dynamic, Accurate and Scalable Time-based Job Scheduler.
  ☆11Apr 12, 2022Updated 3 years ago
• ptiede / VIDA.jl

  View on GitHub
  EHT Image domain analysis through template matching.
  ☆13Jan 27, 2026Updated 2 weeks ago
• grantjenks / scikit-sequitur

  View on GitHub
  SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.
  ☆10Oct 13, 2021Updated 4 years ago
• miguelraz / PathToPerformance

  View on GitHub
  Virtual diary for progress on all fronts.
  ☆10May 19, 2020Updated 5 years ago
• gregdavill / gsd-kicad-libs

  View on GitHub
  GsD style kicad Libraries
  ☆11Apr 4, 2020Updated 5 years ago
• jcorks / tPNG

  View on GitHub
  PNG reader in a single, portable C file and header that dumps to raw RGBA pixels.
  ☆12Feb 24, 2021Updated 4 years ago
• browserstack / behat-browserstack

  View on GitHub
  Selenium examples for Behat and BrowserStack Automate
  ☆13Jul 10, 2023Updated 2 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• vijay03 / jsys

  View on GitHub
  Repo for the Journal of Systems Research (JSYS)
  ☆11Jan 7, 2020Updated 6 years ago
• BrianOtto / Recto

  View on GitHub
  A String Manipulation Library for Wren
  ☆13Jul 22, 2017Updated 8 years ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• davidcastells / py4hw

  View on GitHub
  Hardware Design/Visualization/Simulation/RTLGeneration Framework
  ☆16Feb 2, 2026Updated 2 weeks ago
• SciML / DiffEqMonteCarlo.jl

  View on GitHub
  Monte Carlo simulation routines for high-performance parallelization of differential equation solvers and scientific machine learning
  ☆12Nov 30, 2020Updated 5 years ago
• LilithHafner / InterLanguageSortingComparisons

  View on GitHub
  ☆12Feb 17, 2023Updated 2 years ago
• Marghrid / FOREST

  View on GitHub
  Regular expression for form validations synthesizer
  ☆15Apr 17, 2025Updated 9 months ago
• regehr / guided-tree-search

  View on GitHub
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆14Jul 20, 2025Updated 6 months ago
• msreis / featsel

  View on GitHub
  An open-source framework for benchmarking of feature selection algorithms and cost functions.
  ☆10Mar 6, 2020Updated 5 years ago
• dimitrs / video_coding

  View on GitHub
  Encode/Decode video to and from memory
  ☆12Feb 22, 2012Updated 13 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• cjacker / cklink-lite-fw-convertor

  View on GitHub
  Convert cklink-lite.hex to support stm32f103 as cklink-lite debugger
  ☆12Mar 2, 2023Updated 2 years ago