idris-tutorial
by idris-lang
A tutorial to the Idris Programming Language.
AI summary
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
- stars
- 94
- forks
- 27
- watching
- 22
Similar projects
Found by comparing what the projects do, not just their names.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
Idris compiler
Provides a JVM backend for the Idris programming language.
HTTP library
An HTTP library for Idris
Functional programming language
A development repository for a dependently typed functional programming language
Functional compiler
A compiler and language for a purely functional programming language with first class types
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
JavaScript binder
Provides safe interface to JavaScript's unsafe world
CI tutorial
A tutorial for Node.js developers to learn Continuous Integration with Travis CI
Tutorial
Building an Erlang-based tutorial on cryptographic topics
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
Zig tutorial
A collection of tutorials and projects to learn the Zig programming language
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
LLM Tutorial
A tutorial project for exploring large language models and their applications in natural language processing tasks.
React tutorial
A resource for learning React and related technologies
Zig tutorial
A comprehensive resource for learning and using the Zig programming language.
