idris-community / idris2-tutorialView external linksLinks
A comprehensive tutorial for the Idris2 programming language
☆24Aug 24, 2025Updated 5 months ago
Alternatives and similar repositories for idris2-tutorial
Users that are interested in idris2-tutorial are comparing it to the libraries listed below
Sorting:
- ☆30Feb 6, 2026Updated last week
- PromptStack - Full-Stack application from Prompts☆10Nov 2, 2023Updated 2 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 2 months ago
- ☆236Aug 10, 2025Updated 6 months ago
- Idris port of Haskell's sop-core library☆37Aug 14, 2025Updated 5 months ago
- High-reproducibility CWL runner powered by Guix☆20Jan 28, 2026Updated 2 weeks ago
- Turn your brain MRI into a printable 3D model in seconds 🧠➡️🖨️☆13Jan 9, 2025Updated last year
- Store collections of experimental data based on TileDB☆12Updated this week
- PityBoy is a fantasy console written in C++, inspired by the famous Gameboy☆17Oct 12, 2023Updated 2 years ago
- A programming game sandbox inspired by CoreWar☆11Jun 4, 2024Updated last year
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated 8 months ago
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated 3 months ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 6 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- A high-performance Rust-based transaction simulation engine for HyperEVM, built on REVM with advanced tracing capabilities.☆26Sep 1, 2025Updated 5 months ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated last month
- My freelancing work history☆11Dec 18, 2025Updated last month
- Home to the Nothing token. It's something, but worth nothing and free for all. A glorified fungible token POC on the Stacks blockchain. �…☆10Mar 6, 2023Updated 2 years ago
- Multi-arch Docker images for Idris 2☆13Updated this week
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- ☆12Nov 5, 2024Updated last year
- Cross-platform ssh-server based chat program, with data persisted into relational databases of MySQL, PostgreSQL or Sqlite3.☆11Jan 31, 2021Updated 5 years ago
- Substrate Contract SDK for Python As a part of Himalia☆12Dec 6, 2021Updated 4 years ago
- This repository represents a basic implementation of the paper "Riemannian Geometry of Deep Generative Models", along with the results on…☆12Oct 23, 2019Updated 6 years ago
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- A Haskell library for building Slack apps in Socket Mode☆15Oct 23, 2023Updated 2 years ago
- A simple filesharing server for sharing files between different devices over a shared network written in Rust☆18Aug 23, 2025Updated 5 months ago
- Blocklords erc-20 token used in the game.☆10Feb 3, 2023Updated 3 years ago
- Vivado in GitLab-Runner for GitLab CI/CD☆10Oct 27, 2022Updated 3 years ago
- Auto Generated Haskell Library for Stripe☆14Mar 31, 2024Updated last year
- Travel around the world without barriers: RoadArchitect automatically scans your world, finds villages, and other structures, and then la…☆15Nov 9, 2025Updated 3 months ago
- Blog post "CMake + Google micro-benchmarking"☆10Dec 30, 2018Updated 7 years ago
- Idris libraries for hybrid classical-quantum programming☆13Feb 5, 2023Updated 3 years ago
- Interactive, web-based visual math assistant☆12Jan 10, 2026Updated last month
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year