Russoul/Idris2-Effect Russoul/Idris2-Effect

  • Stars
    star
    39
  • Rank 693,563 (Top 14 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Russoul/Idris2-Effect
github

Russoul

Reviews

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

Repository Details

Experimental effects library for Idris 2

More Repositories

1

Idris2-Lua

Lua backend for Idris 2
Idris
27
star
2

Voxelized3D-Rust

experimental voxel engine that uses dual contouring written in rust
Rust
22
star
3

voxelized3d

experimental 3D voxel engine, uses different derivatives of dual contouring algorithm
C++
11
star
4

Idris2-HoTT

Learning me some HoTT in Idris 2
Idris
6
star
5

Idris2-Vim-Ide

Vim Script
3
star
6

My-NeovimCfg

Gotta store my configs for Neovim somewhere safe
Lua
2
star
7

cuda-mat

this is a library that uses the reference CUDA bicgstab Ax=b solver implementation
C++
2
star
8

poker-probability

Toy project that is all about calculating different probabilities in poker, mainly in Texas hold'em variant
Scala
1
star
9

Time-Interval

Compute total time in `hh:mm` format given a list of intervals `hh:mm-hh:mm`
Idris
1
star
10

Learn-Python

Python
1
star
11

Nova

A programming language based on extensional Martin Lof Type Theory
Idris
1
star