Pinned Repositories
atom-language-blodwen
An Experimental Blodwen Mode for Atom.io
blazor-server-tutorial
Learning to use Blazor Server
changelingthepodcast
Dai
An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development
Idris-Repl
A self hosted Repl for Idris (Still *very* early stages)
Idris2-FSharp
An F# backend for Idris
zenntenn's Repositories
zenntenn/changelingthepodcast
zenntenn/Idris-Repl
A self hosted Repl for Idris (Still *very* early stages)
zenntenn/Dai
An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development
zenntenn/Idris2-FSharp
An F# backend for Idris
zenntenn/atom-language-blodwen
An Experimental Blodwen Mode for Atom.io
zenntenn/blazor-server-tutorial
Learning to use Blazor Server
zenntenn/Blodwen
A prototype successor to Idris
zenntenn/corefx
CoreFX is the foundational class libraries for .NET Core. It includes types for collections, file systems, console, JSON, XML, async and many others.
zenntenn/CSharpExperiments
Playing around with C#
zenntenn/curses-idris
Curses bindings package for Idris
zenntenn/do_the_thing
A custom front end for Android Reminders
zenntenn/docker-arch-idris2-buildagent
An Idris2 build agent for us in Azure DevOps
zenntenn/docker-archlinux-aur
Base Arch Linux docker image with base-devel group and pacaur installed.
zenntenn/docker-debian-idris2-enviornment
Contains all the setup needed to build Idris2
zenntenn/docker-haskell
Haskell on Docker
zenntenn/docker-idris
Docker image for Idris
zenntenn/idris-configs
Some general configs for working with Idris, for my user only
zenntenn/idris-curses
Idris bindings to ncurses
zenntenn/Idris-dev
A Dependently Typed Functional Programming Language
zenntenn/Idris-Exercises
Exercises from Type Driven Develop with Idris from Edwin Brady
zenntenn/idris-haskelltarget-bootstrap
An empty code generator, to be used as a starting point for any new back ends.
zenntenn/Idris-NumericProofs
Adding new numeric proofs for Idris
zenntenn/Idris-Presentation
For giving presentations about Idris
zenntenn/Idris-Termios
Idris bindings for using termios, control characters, and other similar terminal operations
zenntenn/Idris2
A purely functional programming language with first class types
zenntenn/idris2-vim
Vim mode for Idris 2
zenntenn/IdrisLibs
zenntenn/LidrToIdr
Changes all the .lidr files in a directory and sub directories into .idr files
zenntenn/Parallel
Parallel support for Idris
zenntenn/tg
minimal version of telluriumgames to run game