cyril0124/verilua

Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT

GitHub repository with 17 stars and 2 forks.

Language: Lua

Topics: framework, hardware-verification, lua, luajit, rtl, systemverilog, test, verification, verilog, waveform

Open provider repository

Latest metric snapshot

2026-06-15: 17 stars and 2 forks.

Trending in Lua

  1. 1. ayamir/nvimdots

    A well configured and structured Neovim.

    GitHub repository with 3,403 stars and 483 forks.

    Trending score: 0.24; stars gained: +0; forks gained: -1.

    Language: Lua

    Topics: dotfiles, editor, ide, neovim-config, neovim-configuration, neovim-dotfiles

  2. 2. DCS-Skunkworks/dcs-bios

    Data export tool for DCS.

    GitHub repository with 412 stars and 93 forks.

    Trending score: 0.86; stars gained: +2; forks gained: +0.

    Language: Lua

    Topics: dcs-world, dcs, saitek, dcs-bios, dcsworld, logitech

  3. 3. 404pilo/aicommits.nvim

    Generate conventional commit messages using AI, directly in Neovim

    GitHub repository with 14 stars and 3 forks.

    Trending score: 0.00.

    Language: Lua

  4. 4. alex35mil/delta.nvim

    Review tool for Neovim

    GitHub repository with 20 stars and 0 forks.

    Trending score: 0.55; stars gained: +1; forks gained: +0.

    Language: Lua

  5. 5. jacobax/trime-config

    Make it easy to get ready for Rime!

    GitHub repository with 111 stars and 11 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Lua

    Topics: rime, trime

  6. 6. version-fox/vfox-java

    ☕️ Java plugin for vfox

    GitHub repository with 32 stars and 9 forks.

    Trending score: 0.14; stars gained: +0; forks gained: -1.

    Language: Lua

    Topics: java, jdk, vfox-plugin, sdkman, graalvm, openjdk

Trending topic: framework

  1. 1. kaka158b/SQL-Injector

    🛠️ Automate SQL injection testing and enhance web app security with the SQL Injector toolkit, supporting multiple databases and advanced exploitation techniques.

    GitHub repository with 11 stars and 1 forks.

    Trending score: 0.00.

    Topics: deface-tools, defacement, dorking, framework, fuzzy-search, geektool

  2. 2. pabllopf/Alis

    Develop the video games of your dreams 💯 free!! on Windows, MacOS, Linux, WEB, Android(soon), IOS(soon).

    GitHub repository with 28 stars and 4 forks.

    Trending score: 0.00.

    Language: C#

  3. 3. romaninsh/vantage

    Business logic and persistence abstraction framework for Rust (enterprise grade) with strong type safety

    GitHub repository with 26 stars and 0 forks.

    Trending score: 0.00.

    Language: Rust

    Topics: entity, framework, orm, query-builder, rust, sql

  4. 4. vizia/vizia

    A declarative GUI library written in Rust

    GitHub repository with 2,178 stars and 107 forks.

    Trending score: 1.59; stars gained: +4; forks gained: +0.

    Language: Rust

    Topics: application, binding, css, declarative-ui, desktop, framework

  5. 5. gemvc/gemvc

    A lightweight, server-agnostic PHP framework (Swoole/Nginx/Apache) designed for building high-performance Microservices & REST APIs

    GitHub repository with 22 stars and 17 forks.

    Trending score: 0.00.

    Language: PHP

  6. 6. IntelliTect/Coalesce

    Quickly build amazing web apps

    GitHub repository with 80 stars and 25 forks.

    Trending score: 0.02; stars gained: +0; forks gained: +0.

    Language: C#