Awesome Open Source

Programming Languages

Search results for functional programming idris

functional-programming x

9 search results found

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

Idris Koans ⭐ 165

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

Order Taking ⭐ 82

Idris version of Domain Modeling Made Functional Book.

Teaching Fp ⭐ 45

Techniques, advice, and anecdotes about how to teach Functional Programming

Idris Grin ⭐ 43

GRIN backend for Idris

Differentiable Idris ⭐ 39

dependent types meets deep learning

Fp In Idris ⭐ 16

Functional Programing in Scala (in Idris) [Idris]

Dependable Data Structures ⭐ 13

Experiments in implementing functional data structures in Idris

Tutorials ⭐ 12

Materials for MI-AFP course tutorials

Dependently typed core calculus with erasure

Idris libraries for type safe (variational) quantum programming

Game Idris ⭐ 9

A game in Idris

Talks that I have given

Strongly Typed Paths for Idris

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Typescript Functional Programming (775)

Scala Functional Programming (499)

Haskell Functional Programming (390)

Functional Programming Monad (270)

Python Functional Programming (206)

Types Functional Programming (195)

Language Functional Programming (188)

Types Idris (46)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.