idris
Here are 249 public repositories matching this topic...
Semi-literate polyglot solutions to Advent of Code problems.
-
Updated
May 27, 2024 - Haskell
Materials for MI-AFP course tutorials
-
Updated
Apr 3, 2024
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
-
Updated
Mar 31, 2024 - Scala
A programming language based on extensional Martin Lof Type Theory
-
Updated
Feb 4, 2024 - Idris
C-c C-e P p >>=
-
Updated
Jan 2, 2024 - CSS
Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but generally I'd keep this alive!
-
Updated
Dec 20, 2023 - Idris
Misc playground and random stuff
-
Updated
Nov 30, 2023 - C
React UI/UX component library that displays a pin input field and a set of buttons. Used for authentication purposes enriched with many cool enigma capacities that makes it cherry on top.
-
Updated
Oct 15, 2023 - TypeScript
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Idris category for AI2001, containing Idris programming language datasets
-
Updated
Sep 20, 2023 - R
Project templates in rust
-
Updated
Sep 11, 2023 - Rust
DEUS OMNIUM CREATOR SECUM DEUM FECIT VISIBILEM ET HUNC FECIT PRIMUM ET SOLUM QUO OBLECTATUS EST ET VALDE AMAVIT PROPRIUM FILIUM QUI APPELLATUR SANCTUM VERBUM
-
Updated
Aug 19, 2023 - JavaScript
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
-
Updated
Jul 21, 2023
Improve this page
Add a description, image, and links to the idris topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the idris topic, visit your repo's landing page and select "manage topics."