ValentinAebi/licorne-lang

Licorne is an experimental programming language exploring refinement types and language-based support for lightweight verification

GitHub repository with 6 stars and 2 forks.

Language: Scala

Topics: compiler, lightweight-verification, programming-language, refinement-types

Open provider repository

Latest metric snapshot

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

Similar repositories

  1. 1. scala/scala3

    The Scala 3 compiler, also known as Dotty.

    GitHub repository with 6,257 stars and 1,156 forks.

    Trending score: 0.73; stars gained: +1; forks gained: +2.

    Language: Scala

    Topics: compiler, dotty, epfl, scala, scala3

  2. 2. scalus3/scalus

    Scalus - Smart contracts & dApps Development Platform for Cardano

    GitHub repository with 102 stars and 16 forks.

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

    Language: Scala

    Topics: cardano, compiler, dapps-development, plutus, scala, smart-contracts

  3. 3. scala-native/scala-native

    Your favorite language gets closer to bare metal.

    GitHub repository with 4,669 stars and 388 forks.

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

    Language: Scala

    Topics: aot, compiler, llvm, native, scala, scala-native

  4. 4. scala-js/scala-js

    Scala.js, the Scala to JavaScript compiler

    GitHub repository with 4,701 stars and 404 forks.

    Trending score: 0.10; stars gained: -1; forks gained: -1.

    Language: Scala

    Topics: compiler, javascript-compiler, language, scala

Trending in Scala

  1. 1. apache/spark

    Apache Spark - A unified analytics engine for large-scale data processing

    GitHub repository with 43,456 stars and 29,225 forks.

    Trending score: 2.10; stars gained: +9; forks gained: +4.

    Language: Scala

    Topics: big-data, java, jdbc, python, r, scala

  2. 2. joernio/joern

    Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

    GitHub repository with 3,254 stars and 418 forks.

    Trending score: 2.05; stars gained: +11; forks gained: +2.

    Language: Scala

    Topics: binary, c, code-analysis, code-browser, code-property-graph, controlflow

  3. 3. softwaremill/elasticmq

    In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded.

    GitHub repository with 2,883 stars and 202 forks.

    Trending score: 1.72; stars gained: +11; forks gained: +0.

    Language: Scala

    Topics: scala, sqs-interface, elasticmq, amazon-sqs, aws, aws-sqs

  4. 4. delta-io/delta

    An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

    GitHub repository with 8,852 stars and 2,113 forks.

    Trending score: 1.36; stars gained: +4; forks gained: -2.

    Language: Scala

    Topics: acid, analytics, big-data, delta-lake, spark

  5. 5. apache/texera

    Human-AI Collaborative Data Science Using Visual Workflows

    GitHub repository with 246 stars and 157 forks.

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

    Language: Scala

    Topics: machine-learning, artificial-intelligence, data-science, cloud-native, ai-agents, human-ai-collaboration

  6. 6. apache/pekko

    Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

    GitHub repository with 1,588 stars and 199 forks.

    Trending score: 1.27; stars gained: +3; forks gained: +2.

    Language: Scala

    Topics: actor-model, cloud-native, concurrency, distributed-actors, distributed-systems, high-performance

Trending topic: compiler

  1. 1. typst/typst

    A markup-based typesetting system that is powerful and easy to learn.

    GitHub repository with 54,246 stars and 1,600 forks.

    Trending score: 3.22; stars gained: +49; forks gained: +0.

    Language: Rust

    Topics: compiler, markup, typesetting, typst

  2. 2. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    GitHub repository with 113,866 stars and 14,974 forks.

    Trending score: 2.98; stars gained: +54; forks gained: +14.

    Language: Rust

    Topics: compiler, language, rust

  3. 3. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,777 stars and 983 forks.

    Trending score: 2.79; stars gained: +26; forks gained: +3.

    Language: Odin

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

  4. 4. oxc-project/oxc

    ⚓ A collection of high-performance JavaScript tools.

    GitHub repository with 21,595 stars and 1,078 forks.

    Trending score: 2.77; stars gained: +19; forks gained: +1.

    Language: Rust

    Topics: compiler, javascript, linter, minifier, parser, transpiler

  5. 5. ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    GitHub repository with 6,480 stars and 1,239 forks.

    Trending score: 2.71; stars gained: +34; forks gained: +1.

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  6. 6. webpack/webpack

    A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.

    GitHub repository with 65,820 stars and 9,352 forks.

    Trending score: 2.38; stars gained: +27; forks gained: +1.

    Language: JavaScript

    Topics: amd, build-tool, commonjs, compiler, es2015, es6