546 skills found · Page 1 of 19
idris-lang / Idris DevA Dependently Typed Functional Programming Language
idris-lang / Idris2A purely functional programming language with first class types
edwinb / Idris2 BootA dependently typed programming language, a successor to Idris
edwinb / BlodwenA prototype successor to Idris
mmhelloworld / Idris JvmJVM bytecode back end for Idris
idris-hackers / Software FoundationsSoftware Foundations in Idris
joaomilho / Awesome Idris𝛌 Awesome Idris resources
idris-hackers / Idris ModeIdris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
statebox / Idris Ctformally verified category theory library
ziman / LightyearParser combinators for Idris
stefan-hoeck / Idris2 TutorialNo description available
idris-hackers / Idris VimIdris mode for vim
awesomo4000 / Awesome ProvableA curated set of links to formal methods involving provable code.
manwar / Perlweeklychallenge ClubKnowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, BASIC, Bc, Befunge-93, Bourne Shell, BQN, Brainfuck, C3, C, CESIL, C++, C#, Clojure, COBOL, Coconut, Crystal, D, Dart, Dc, Elm, Emacs Lisp, Erlang, Excel VBA, Fennel, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, IO, J, Janet, Java, JavaScript, Julia, Kotlin, Lisp, Lua, M4, Miranda, Modula 3, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, Nuweb, OCaml, Odin, Ook, Pascal, PHP, Python, Postscript, Prolog, R, Ring, Ruby, Rust, Scala, Scheme, Sed, Smalltalk, SQL, Swift, Tcl, TypeScript, Visual BASIC, WebAssembly, Wolfram, XSLT and Zig.
jaeho3690 / LIDC IDRI PreprocessingThis is the preprocessing step of the LIDC-IDRI dataset
puffnfresh / Iridiumxmonad with the X11 abstracted and configured with Idris
idris-hackers / Idris DemosCollection of Idris tests and demonstration programs
idris-community / Idris2 LspLanguage Server for Idris2
lenary / Idris ErlangErlang Backend for Idris Compiler
elba / ElbaA package manager for Idris
