melted/idris-chez melted/idris-chez

  • Stars
    star
    47
  • Rank 585,611 (Top 12 %)
  • Language
    Haskell
  • License
    ISC License
  • Created almost 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
melted/idris-chez
github

melted

Reviews

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

Repository Details

An idris backend compiling to chez scheme

More Repositories

1

get-idris

Setting up an Idris dev environment on Windows
PowerShell
16
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