Ruslan Φ.

6 პროექტი · 118 ★ · Idris, C++, Rust · ბიბლიოთეკები · ვები

პროექტები

  1. Idris2-Effectბიბლიოთეკები

    Experimental effects library for Idris 2

    Idris★ 45012+ თვე უცვლელი
  2. Idris2-Luaვები

    Lua backend for Idris 2

    Idris★ 28012+ თვე უცვლელი
  3. Voxelized3D-Rustბიბლიოთეკები

    experimental voxel engine that uses dual contouring written in rust

    Rust★ 24012+ თვე უცვლელი
  4. voxelized3dბიბლიოთეკებიდაარქივებული

    experimental 3D voxel engine, uses different derivatives of dual contouring algorithm

    C++★ 120
მცირე პროექტები (2)
  1. Novaსხვა

    A programming-language & a proof-assistant based on *extensional* Dependent Type Theory

    Idris★ 6+1
  2. cuda-matბიბლიოთეკები

    this is a library that uses the reference CUDA bicgstab Ax=b solver implementation

    C++★ 3012+ თვე უცვლელი