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 → Z-snails → Idris2-Grin

Z-snails / Idris2-Grin

Licence: BSD-3-Clause license
GRIN backend for Idris2

Programming Languages

Idris
72 projects
HTML
75241 projects
haskell
3896 projects
rust
11053 projects

Labels

grinidris2

Projects that are alternatives of or similar to Idris2-Grin

idris2-pkgs
An unofficial Idris2 package repository for Nix
Stars: ✭ 32 (+23.08%)
Mutual labels:  idris2
vite-grin-wallet-ios
A CocoaPods wrapper for official Grin wallet and integrated in Vite iOS App
Stars: ✭ 16 (-38.46%)
Mutual labels:  grin
idris-grin
GRIN backend for Idris
Stars: ✭ 49 (+88.46%)
Mutual labels:  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 (-26.92%)
Mutual labels:  grin
idris2dart
The Dart backend for Idris 2.
Stars: ✭ 46 (+76.92%)
Mutual labels:  idris2
gringo
Alternative full Grin node on Golang (implementation of the MimbleWimble protocol) https://github.com/mimblewimble/grin
Stars: ✭ 45 (+73.08%)
Mutual labels:  grin
idris2-tls
A portable idris2 implementation of TLS
Stars: ✭ 25 (-3.85%)
Mutual labels:  idris2
Idris2-Lua
Lua backend for Idris 2
Stars: ✭ 24 (-7.69%)
Mutual labels:  idris2
Grin
Minimal implementation of the Mimblewimble protocol.
Stars: ✭ 4,897 (+18734.62%)
Mutual labels:  grin

Idris2grin

GRIN backend for Idris2.

This only works with recent versions of idris2 (v0.4.0 +).

Todo

  • Finish unfinished functions
    • primitive related functions
    • unwrap/wrap literals
  • Fix literals so they are wrapped in appropriate Constructor (see getConstTag)
  • Tests
  • Add missing primitives
  • FFI
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].