Alternatives and similar repositories for Lava

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

• MaxXSoft / GeeOS

  View on GitHub
  The Gee (寂) Operating System, written in YuLang.
  ☆34Jun 28, 2021Updated 4 years ago
• BoffinZhang / Collection-of-Study-Materials-USTB-CS

  View on GitHub
  ☆12Feb 21, 2020Updated 5 years ago
• pku-minic / MiniVM

  View on GitHub
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Dec 3, 2021Updated 4 years ago
• ustb-owl / MimiC

  View on GitHub
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆63Feb 4, 2023Updated 3 years ago
• No-SF-Work / ayame

  View on GitHub
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆65Aug 19, 2021Updated 4 years ago
• oscomp / proj9-zcore

  View on GitHub
  基于Rust语言的OS Kernel -- zCore
  ☆19Feb 24, 2022Updated 3 years ago
• MaxXSoft / YuLang

  View on GitHub
  The Yu (羽) programming language.
  ☆82Jul 14, 2023Updated 2 years ago
• MaxXSoft / laps

  View on GitHub
  Build lexers and parsers by deriving traits.
  ☆25Jan 3, 2024Updated 2 years ago
• TrivialCompiler / TrivialCompiler

  View on GitHub
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Aug 14, 2021Updated 4 years ago
• orochisun / USTB-Course-materials

  View on GitHub
  北科课程资料，保及格
  ☆24Feb 29, 2020Updated 5 years ago
• NullaDev / ExtraAcC-1.12.2-

  View on GitHub
  sub-mod for AcademyCraft (by @LambdaInnovation)
  ☆13Aug 24, 2023Updated 2 years ago
• wildoranges / MahoShojo

  View on GitHub
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Jul 15, 2022Updated 3 years ago
• ccccchhhheeenng / Windows-Server-Tool

  View on GitHub
  ☆11Mar 23, 2025Updated 10 months ago
• Concyclics / BIG_PROJECT

  View on GitHub
  homework in SCUT_SE
  ☆12Nov 9, 2021Updated 4 years ago
• LifeAdventurer / generators

  View on GitHub
  Generators Gallery
  ☆11May 31, 2025Updated 8 months ago
• richard611 / mylib

  View on GitHub
  C/C++工具库，包涵一些常用的类，函数等
  ☆11Jun 20, 2013Updated 12 years ago
• TrainingByPackt / The-Modern-Cpp-Challenger-eLearning

  View on GitHub
  Become an expert C++ programmer by solving real-world programming problems
  ☆10Mar 25, 2019Updated 6 years ago
• rustsbi / awesome-rustsbi

  View on GitHub
  A curated list of awesome things related to rustsbi
  ☆43Oct 14, 2022Updated 3 years ago
• CesMak / mcts_cardgame

  View on GitHub
  Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)
  ☆10Jun 7, 2020Updated 5 years ago
• notilus67 / frider

  View on GitHub
  Dump unpacked dex, trace/intercept Java/native function. Frida + adb + React +Django
  ☆42Aug 25, 2020Updated 5 years ago
• ustb-owl / Uranus

  View on GitHub
  Uranus MIPS processor by MaxXing & USTB NSCSCC team
  ☆38Dec 14, 2019Updated 6 years ago
• Yvan-xy / verilog-doc

  View on GitHub
  All About HDL
  ☆39Aug 21, 2019Updated 6 years ago
• ustb-owl / TinyMIPS

  View on GitHub
  The Project TinyMIPS is dedicated to enabling undergraduates to build a complete computer system from scratch.
  ☆36Feb 28, 2020Updated 5 years ago
• stanford-cs242 / f19-assignments

  View on GitHub
  ☆35May 27, 2020Updated 5 years ago
• go360 / HappysurfBlocking-fetch-bak

  View on GitHub
  ☆10Oct 20, 2016Updated 9 years ago
• Sutdown / Note

  View on GitHub
  My computer daily study notes
  ☆11Mar 11, 2025Updated 11 months ago
• maxmcguire / rocket

  View on GitHub
  Alternative Lua implementation
  ☆32Mar 2, 2013Updated 12 years ago
• contrun / infra

  View on GitHub
  ☆10Feb 6, 2026Updated last week
• mit-pdos / 6.826-2019-labs

  View on GitHub
  Lab assignments for 6.826
  ☆11Nov 8, 2019Updated 6 years ago
• pku-liang / popa

  View on GitHub
  A unified programming framework for high and portable performance across FPGAs and GPUs
  ☆11Mar 23, 2025Updated 10 months ago
• alextsao1999 / hypermind

  View on GitHub
  A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...
  ☆10Apr 25, 2019Updated 6 years ago
• keke2014 / SD-DFP

  View on GitHub
  工程优化方法中的“最速下降法”和“DFP拟牛顿法”的 C 语言实现
  ☆11Jul 21, 2014Updated 11 years ago
• forsyth / avr

  View on GitHub
  Plan 9 C compiler za/zc/zl supporting AVR32, including a small OS to run on a clone of the Berkeley mote, with some extra audio hardware
  ☆12Jan 3, 2025Updated last year
• doupoa / xiaoetech-video-downloader

  View on GitHub
  某鹅通视频下载脚本
  ☆13Mar 2, 2023Updated 2 years ago
• journeymidnight / autumn

  View on GitHub
  ☆10Nov 6, 2025Updated 3 months ago
• siddhesh / fortify-metrics

  View on GitHub
  Get build time statistics of _FORTIFY_SOURCE coverage for programs
  ☆12Sep 23, 2024Updated last year
• fix-project / fix

  View on GitHub
  ☆12Jan 9, 2026Updated last month
• michg / riscv32_lcc

  View on GitHub
  ☆11Oct 24, 2020Updated 5 years ago
• wallds / tiktok-re

  View on GitHub
  ☆14May 16, 2023Updated 2 years ago