Alternatives and similar repositories for Idris2GL

Users that are interested in Idris2GL are comparing it to the libraries listed below

• kbertalan / tyttp
  ☆23Updated 8 months ago
• ohnnySong / 2048
  2048 in c language
  ☆33Updated 4 months ago
• noorall / equinoxdb
  [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.
  ☆15Updated 8 months ago
• panghu-huang / octocrate
  A comprehensive GitHub REST API library based on Rust.
  ☆26Updated 11 months ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆43Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 5 months ago
• kasiaMarek / TyRE
  ☆26Updated 2 years ago
• ohad / collie
  Command line interface library in Idris
  ☆33Updated last year
• GeorgeWuzy / TCP-multi-threads-speedup
  本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行，挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…
  ☆34Updated 2 years ago
• xpepper / poker-hands-kata
  Poker Hands Kata in Java
  ☆29Updated last year
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• gg1229505432 / socket_kafka
  websocket + kafka , websocket to chat , kafka to do something you define
  ☆34Updated 2 years ago
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated last year
• VirtualMath / VirtualMath
  VirtualMath编程语言是一款通用编程语言，是VirMat的前身。
  ☆11Updated 5 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 3 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• tsy19900929 / ngs-nccl-bug-fix
  ☆16Updated 2 years ago
• bigs / idris2-libgit2
  Libgit2 bindings for Idris 2
  ☆13Updated 5 years ago
• idris-community / katla
  ☆21Updated 8 months ago
• finsterniz / PomodoroMusic
  A Pomodoro with music-player
  ☆13Updated last year
• JinfengHU99 / inappropriate_behavior_chatbot
  Study of the optimization of chatbot behavior based on LLMs in the face of inappropriate behaviors in French conversations using semantic…
  ☆39Updated last year
• xiegangqingnian1021 / devops
  手搓云计算运维开发 第一阶段私有云Dashboard 第二阶段CICD
  ☆35Updated last year
• kaichen-z / SCANet-Supp
  [IROS 2024] SCANet: Correcting LEGO Assembly Errors with Self-Correct Assembly Network (FINALIST BEST APPLICATION PAPER)
  ☆23Updated last year
• luo-junyu / ROSE
  ROSE: Robust Cross Supervision with Neighborhood Mining for Source-free Graph Domain Adaptation
  ☆19Updated last year
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆97Updated 11 months ago
• iquping / SecureAPIProxy
  Ensure that only legitimate users can access the API
  ☆19Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• XuanyouLiu / Cyberpet
  Cyberpet: An Arduino and ESP32 based Companion Robot
  ☆17Updated last year