ECburx / Idris2GLLinks
A Graphics Library for Idris 2.
☆73Updated 2 years ago
Alternatives and similar repositories for Idris2GL
Users that are interested in Idris2GL are comparing it to the libraries listed below
Sorting:
- ☆23Updated 8 months ago
- 2048 in c language☆33Updated 4 months ago
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 8 months ago
- A comprehensive GitHub REST API library based on Rust.☆26Updated 11 months ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Package manager for Idris☆37Updated 3 years ago
- Idris port of Haskell's sop-core library☆37Updated 5 months ago
- ☆26Updated 2 years ago
- Command line interface library in Idris☆33Updated last year
- 本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行,挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…☆34Updated 2 years ago
- Poker Hands Kata in Java☆29Updated last year
- Anders: Cubical Type Checker☆23Updated 2 years ago
- websocket + kafka , websocket to chat , kafka to do something you define☆34Updated 2 years ago
- A portable idris2 implementation of TLS☆32Updated last year
- VirtualMath编程语言是一款通用编程语言,是VirMat的前身。☆11Updated 5 years ago
- Data frames for Idris 2☆23Updated 3 years ago
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- ☆16Updated 2 years ago
- Libgit2 bindings for Idris 2☆13Updated 5 years ago
- ☆21Updated 8 months ago
- A Pomodoro with music-player☆13Updated last year
- Study of the optimization of chatbot behavior based on LLMs in the face of inappropriate behaviors in French conversations using semantic…☆39Updated last year
- 手搓云计算运维开发 第一阶段私有云Dashboard 第二阶段CICD☆35Updated last year
- [IROS 2024] SCANet: Correcting LEGO Assembly Errors with Self-Correct Assembly Network (FINALIST BEST APPLICATION PAPER)☆23Updated last year
- ROSE: Robust Cross Supervision with Neighborhood Mining for Source-free Graph Domain Adaptation☆19Updated last year
- GRIN backend for Idris2☆33Updated 3 years ago
- A core language and API for dependently typed languages☆97Updated 11 months ago
- Ensure that only legitimate users can access the API☆19Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Cyberpet: An Arduino and ESP32 based Companion Robot☆17Updated last year