melted/get-idris melted/get-idris

  • Stars
    star
    16
  • Rank 1,272,151 (Top 26 %)
  • Language
    PowerShell
  • Created about 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
melted/get-idris
github

melted

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Setting up an Idris dev environment on Windows

More Repositories

1

idris-chez

An idris backend compiling to chez scheme
Haskell
47
star
2

idris-lua

A Lua backend for Idris
Lua
9
star
3

hcom

Haskell
3
star
4

aoc2022

Advent of code 2022
Haskell
2
star
5

arena

An artless arena allocator
C
1
star
6

rugs

WIP Haskell interpreter
Rust
1
star
7

getghc

Easy GHC build setup on Windows
PowerShell
1
star
8

aoc2019

Advent of code 2019
Racket
1
star
9

bytestring-storable

Pick Storables off a ByteString
Haskell
1
star