idris-lang/Idris2

A purely functional programming language with first class types

GitHub repository with 2,964 stars and 404 forks.

Language: Idris

Topics: compiler, dependent-types, hacktoberfest

Open provider repository

24h trend summary

Trending score 0.04, activity score 0.04, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-02: 2,964 stars and 404 forks.

Similar repositories

  1. 1. idris-lang/Idris2

    A purely functional programming language with first class types

    GitHub repository with 2,964 stars and 404 forks.

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

    Language: Idris

    Topics: compiler, dependent-types, hacktoberfest

Trending in Idris

  1. 1. idris-lang/Idris2

    A purely functional programming language with first class types

    GitHub repository with 2,964 stars and 404 forks.

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

    Language: Idris

    Topics: compiler, dependent-types, hacktoberfest

  2. 2. idris-hackers/idris-koans

    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

    GitHub repository with 182 stars and 26 forks.

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

    Language: Idris

Trending topic: compiler

  1. 1. vercel/next.js

    The React Framework

    GitHub repository with 139,831 stars and 31,200 forks.

    Trending score: 2.67; stars gained: +28; forks gained: -1.

    Language: JavaScript

    Topics: blog, browser, compiler, components, hybrid, nextjs

  2. 2. oxc-project/oxc

    ⚓ A collection of high-performance JavaScript tools.

    GitHub repository with 21,430 stars and 1,060 forks.

    Trending score: 2.67; stars gained: +43; forks gained: +4.

    Language: Rust

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

  3. 3. JetBrains/kotlin

    The Kotlin Programming Language.

    GitHub repository with 52,811 stars and 6,324 forks.

    Trending score: 2.08; stars gained: +9; forks gained: +6.

    Language: Kotlin

    Topics: compiler, gradle-plugin, intellij-plugin, kotlin, kotlin-library, maven-plugin

  4. 4. ubugeeei-prod/vize

    Unofficial High-Performance Vue.js Toolchain in Rust

    GitHub repository with 727 stars and 30 forks.

    Trending score: 2.08; stars gained: +5; forks gained: +1.

    Language: Rust

    Topics: compiler, linter, lsp, parser, performance, semantic-analysis

  5. 5. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,578 stars and 973 forks.

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

    Language: Odin

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

  6. 6. typst/typst

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

    GitHub repository with 54,006 stars and 1,591 forks.

    Trending score: 1.68; stars gained: +58; forks gained: +0.

    Language: Rust

    Topics: compiler, markup, typesetting, typst