Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell idris
haskell
x
idris
x
20 search results found
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Project Init
⭐
135
Project templates in rust
Idris Cil
⭐
125
A Common Intermediate Language backend for Idris.
Recursion_schemes
⭐
60
Recursion schemes for Idris
Idris Codegen Wasm
⭐
57
WebAssembly Code Generation Backend for Idris Compiler
Idris Elixir
⭐
54
A code-generator for Idris that targets Elixir
Teaching Fp
⭐
45
Techniques, advice, and anecdotes about how to teach Functional Programming
Fluid
⭐
37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
Idris2 Sop
⭐
31
Idris port of Haskell's sop-core library
Gloss Idris
⭐
21
A port of the gloss library from Haskell to Idris
Blog
⭐
14
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
Gpif Idris
⭐
14
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Tutorials
⭐
12
Materials for MI-AFP course tutorials
Idris Clean
⭐
11
A priliminary backend for Idris that compiles to Clean.
Experiments
⭐
9
Just toys
Talks
⭐
8
Talks that I have given
Idris2 Streaming
⭐
7
Effectful Streaming for Idris
Hsgames
⭐
6
A client-server Haskell implementation of an old boardgame
Misc
⭐
6
Misc playground and random stuff
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (793)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-20 of 20 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.