softlang/yas

Yet Another Software Language Repository

GitHub repository with 19 stars and 8 forks.

Language: Prolog

Topics: language, prolog, slr, yas

Open provider repository

Latest metric snapshot

2026-06-05: 19 stars and 8 forks.

Trending in Prolog

  1. 1. geminiplanetimager/gpi_pipeline

    Gemini Planet Imager Data Reduction Pipeline

    GitHub repository with 9 stars and 6 forks.

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

    Language: Prolog

    Topics: idl, astronomy, exoplanets, data-reduction, geminiplanetimager, ifs

  2. 2. s243a/UnifyWeaver

    Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.

    GitHub repository with 5 stars and 1 forks.

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

    Language: Prolog

    Topics: automation, bash, compiler, declarative, graph-algorithms, linear-recursion

  3. 3. eyereasoner/eye

    Euler Yet another proof Engine

    GitHub repository with 164 stars and 19 forks.

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

    Language: Prolog

  4. 4. terminusdb/terminusdb

    TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

    GitHub repository with 3,306 stars and 136 forks.

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

    Language: Prolog

    Topics: acid, cms, collaboration, database, document-database, graph-database

Trending topic: language

  1. 1. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    GitHub repository with 113,421 stars and 15,076 forks.

    Trending score: 3.01; stars gained: +45; forks gained: +2.

    Language: Rust

    Topics: compiler, language, rust

  2. 2. golang/go

    The Go programming language

    GitHub repository with 134,282 stars and 19,098 forks.

    Trending score: 2.97; stars gained: +45; forks gained: +3.

    Language: Go

    Topics: programming-language, language, go, golang

  3. 3. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,566 stars and 973 forks.

    Trending score: 1.68; stars gained: +30; forks gained: +5.

    Language: Odin

    Topics: odin-programming-language, odin, language, compiler, odin-lang, programming-language

  4. 4. slint-ui/slint

    Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

    GitHub repository with 22,793 stars and 894 forks.

    Trending score: 1.68; stars gained: +32; forks gained: +2.

    Language: Rust

    Topics: rust, embedded-devices, language, gui, wasm, cpp

  5. 5. mike-bronner/zed-laravel

    Laravel LSP for Zed editor.

    GitHub repository with 38 stars and 0 forks.

    Trending score: 1.01; stars gained: +7; forks gained: +0.

    Language: Rust

    Topics: laravel, lsp-server, zed, blade, language

  6. 6. dart-lang/sdk

    The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

    GitHub repository with 11,173 stars and 1,822 forks.

    Trending score: 0.97; stars gained: +7; forks gained: +2.

    Language: Dart

    Topics: dart, language, sdk, programming-language