GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → grin-compiler → idris-grin

grin-compiler / idris-grin

Licence: other
GRIN backend for Idris

Programming Languages

Idris
72 projects
haskell
3896 projects
shell
77523 projects
c
50402 projects - #5 most used programming language
C++
36643 projects - #6 most used programming language
Nix
1067 projects
perl
6916 projects

Labels

compilerfunctional-programminggrin

Projects that are alternatives of or similar to idris-grin

open-grin-pool
Open-sourcing pool for grin. Easy to depoly and keep KISS in design. Avaliable to epic (epicash, a grin forkcoin) too.
Stars: ✭ 19 (-61.22%)
Mutual labels:  grin
gringo
Alternative full Grin node on Golang (implementation of the MimbleWimble protocol) https://github.com/mimblewimble/grin
Stars: ✭ 45 (-8.16%)
Mutual labels:  grin
Grin
Minimal implementation of the Mimblewimble protocol.
Stars: ✭ 4,897 (+9893.88%)
Mutual labels:  grin
Idris2-Grin
GRIN backend for Idris2
Stars: ✭ 26 (-46.94%)
Mutual labels:  grin
vite-grin-wallet-ios
A CocoaPods wrapper for official Grin wallet and integrated in Vite iOS App
Stars: ✭ 16 (-67.35%)
Mutual labels:  grin

Build Status

Idris frontend

This is a proof of concept work. This repository sets an example how the grin compiler can be used to integrate with compilers other than the lambda intermedate language which is used in the GHC-GRIN repository.

The 'test' directory contains the examples that the current version of the frontend supports, including both the generated and optimised grin code for the idris programs. For example: HelloWorld.idr, HellowWorld.grin, HelloWorld_opt.grin

How to run the idris frontend experiments on your own:

stack install
stack exec idris -- test/tdd/chapter01/01_HelloWorld.idr -i test/tdd/chapter01 --codegen grin -o helloworld.bin
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].