Alternatives and similar repositories for idris-lang.org

Users that are interested in idris-lang.org are comparing it to the libraries listed below

• edwinb / IdrisApp

  View on GitHub
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Feb 25, 2020Updated 5 years ago
• ioanluca / real-world-idris

  View on GitHub
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Aug 22, 2019Updated 6 years ago
• guenchi / Quantum

  View on GitHub
  A lambda calculus for quantum computation
  ☆13Oct 27, 2018Updated 7 years ago
• ninjarobot / FsCloudInit

  View on GitHub
  Builds cloud-init VM configuration files in F#
  ☆16Jan 24, 2026Updated 3 weeks ago
• edwinb / idris2-vim

  View on GitHub
  Vim mode for Idris 2
  ☆78Aug 31, 2022Updated 3 years ago
• stefan-hoeck / idris2-async

  View on GitHub
  Asynchronous and concurrent computations in Idris2
  ☆24Jan 26, 2026Updated 2 weeks ago
• arpunk / rebar3_lfe_templates

  View on GitHub
  A set of basic rebar3 templates for LFE applications.
  ☆17Jul 18, 2018Updated 7 years ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• filmor / tomerl

  View on GitHub
  Erlang TOML Parser
  ☆23Sep 9, 2023Updated 2 years ago
• grin-compiler / idris-grin

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• sph-mn / sph-lib

  View on GitHub
  more than 80 gpl3+ licensed guile scheme libraries
  ☆19Nov 22, 2025Updated 2 months ago
• MLton / mltonlib

  View on GitHub
  The MLtonLibrary repository
  ☆36Apr 4, 2023Updated 2 years ago
• idris-community / idris2-mode

  View on GitHub
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Dec 20, 2024Updated last year
• zgbjgg / jun

  View on GitHub
  JUN - python pandas, plotly, seaborn support & dataframes manipulation over erlang
  ☆25Oct 1, 2020Updated 5 years ago
• 0xd34df00d / fizzbuzz-i

  View on GitHub
  FizzBuzz, formally verified, provably correct
  ☆28Mar 4, 2023Updated 2 years ago
• ocurrent / current-bench

  View on GitHub
  Experimental benchmarking infrastructure using OCurrent pipelines
  ☆33Feb 28, 2025Updated 11 months ago
• ManticoreProject / manticore

  View on GitHub
  Parallel ML compiler
  ☆74Apr 25, 2020Updated 5 years ago
• Russoul / Idris2-Lua

  View on GitHub
  Lua backend for Idris 2
  ☆28Aug 14, 2022Updated 3 years ago
• jbeeko / cfworker-hello-world

  View on GitHub
  Hello World Cloudflare Worker implemented in FSharp and completed to JavaScript by Fable. ReadMe.md describes the process.
  ☆35Mar 4, 2023Updated 2 years ago
• SPY / idris-codegen-wasm

  View on GitHub
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Jun 26, 2018Updated 7 years ago
• exercism / idris

  View on GitHub
  Exercism exercises in Idris.
  ☆35Updated this week
• straxico / v

  View on GitHub
  you can start vmess proxy with easy setup
  ☆13Oct 20, 2022Updated 3 years ago
• vmware-archive / eqr

  View on GitHub
  Event Query Router
  ☆12Aug 9, 2019Updated 6 years ago
• christian-public / typedtext.io

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• PanPapag / Chord-P2P-Simulation

  View on GitHub
  A Scalable Peer-to-peer Lookup Protocol for Internet Applications
  ☆10Dec 17, 2022Updated 3 years ago
• dmitryme / erlang_fast

  View on GitHub
  FIX/FAST decode/encode facility
  ☆17Mar 5, 2017Updated 8 years ago
• dsorokin / aivika-fsharp-ce

  View on GitHub
  Aivika for .NET, simplified version
  ☆10Nov 11, 2017Updated 8 years ago
• b / sha3

  View on GitHub
  SHA-3 (KECCAK) Erlang NIFs (based on NIST reference C implementation)
  ☆23Mar 3, 2023Updated 2 years ago
• round5 / code

  View on GitHub
  Code of Round5
  ☆11May 4, 2020Updated 5 years ago
• onnela-lab / Beiwe-Analysis

  View on GitHub
  Beiwe is a smartphone-based digital phenotyping research platform. This repository contains some data analysis code.
  ☆14Feb 10, 2020Updated 6 years ago
• gaultier / kotlin-rs

  View on GitHub
  An experimental Kotlin compiler in Rust.
  ☆16May 13, 2020Updated 5 years ago
• sipwise / libtcap

  View on GitHub
  Library for extracting fields from Sigtran TCAP/INAP messages
  ☆11Feb 5, 2026Updated last week
• dbrattli / AsyncRx

  View on GitHub
  AsyncRx for F# and Fable
  ☆42Sep 11, 2023Updated 2 years ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• hauleth / mix_machine

  View on GitHub
  Machine output for Mix tasks
  ☆17Mar 23, 2023Updated 2 years ago
• kfl / wpp

  View on GitHub
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Mar 20, 2021Updated 4 years ago
• MicrosoftDocs / cross-device

  View on GitHub
  ☆11Jun 10, 2025Updated 8 months ago
• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• potatosalad / erlang-crypto_rsassa_pss

  View on GitHub
  RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.
  ☆12Jul 28, 2019Updated 6 years ago