A Graphics Library for Idris 2.
☆74Nov 6, 2023Updated 2 years ago
Alternatives and similar repositories for Idris2GL
Users that are interested in Idris2GL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deep Reinforcement Learning Algorithms for solving Atari 2600 Games☆143Mar 23, 2023Updated 3 years ago
- A Serverless ChatOps tool to interact with Bamboo from Microsoft Teams☆174Nov 8, 2024Updated last year
- 【全网最强】minerproxy矿池中转，原创minerproxy，唯一正版，性能强大, 功能齐全, 9000台无压力不崩溃，BTC ETC ETH LTC DNX ALEO ETU ETHW ETHF ERGO RVN CFX ETC等全币种无损抽水，体验拉满的miner…☆164Oct 13, 2024Updated last year
- 【原创最强程序，专注于ETH/ETC转发】性能强大，功能齐全，体验拉满，匹配专业机；开发费恒定！无论你抽3%还是30%，都是0.3%开发费！；支持专业机，精确到单台设备的24小时数据统计、支持加密隧道！体验拉满的minerproxy；无视CC攻击，不怕扫描攻击，内置加密证书…☆194Jul 15, 2023Updated 2 years ago
- AI powered tools playground☆120Aug 16, 2023Updated 2 years ago
- Edit video by writing JS code☆197Apr 26, 2022Updated 3 years ago
- Build a simple yet effective CNN to work as a sketch recognizer. Just like Google Quick-Draw Project.☆143Mar 23, 2023Updated 3 years ago
- ☆153Jul 28, 2022Updated 3 years ago
- 一款基于敏捷开发理念的PHP MVC高性能框架，可基于集成的TinyPHP-UI前端组件库，快速开发响应式的WEB/H5应用。☆154May 21, 2023Updated 2 years ago
- This project features optimized Go language, expert source code, concurrent processing, and industry-best practices.☆142Mar 14, 2023Updated 3 years ago
- ☆153Jun 12, 2022Updated 3 years ago
- a webpack plugin for Chrome dns & socket pools cache clearing☆85Jul 7, 2022Updated 3 years ago
- 新一代轻量、多端管理的ETH抽水代理☆139Feb 9, 2022Updated 4 years ago
- json转为typescript接口☆221Jan 5, 2023Updated 3 years ago
- FEniCS codes for numerical electromagnetic fields. The version of FEniCS is 2017.2☆96Jun 11, 2023Updated 2 years ago
- ChatGPT Java, it supports some of OpenAI's official interfaces (all interfaces will be supported in the future) and provides a conversati…☆94Jan 5, 2024Updated 2 years ago
- This is a money-centric "Metaverse" within a Discord server.☆99Oct 22, 2022Updated 3 years ago
- BH1750FVI full-featured driver library for general-purpose MCU and Linux.☆44Nov 15, 2025Updated 4 months ago
- ☆207Apr 17, 2023Updated 2 years ago
- 一个基于Kafka客户端封装的工具，Kafka开发效率神器☆223Oct 7, 2023Updated 2 years ago
- 🚀 A progressive framework helps you to build PWA app easier !!!☆147Dec 14, 2022Updated 3 years ago
- MIFARE Classic(S50, S70) full-featured driver library for general-purpose MCU and Linux.☆131Jan 25, 2026Updated last month
- ETH,BTC,ETC,RVN,ERGO,CFX 等币种中转抽水,有效防止CC攻击。支持SSL加密，后台web页监控，实时查看自己抽水情况。monitor目录下为多端口监控器，下 载到本地pc使用。☆173Sep 15, 2022Updated 3 years ago
- ☆162Jan 21, 2026Updated 2 months ago
- A simple-to-use yet function-rich medical image processing toolbox☆155Jan 10, 2023Updated 3 years ago
- a GUI☆28Mar 12, 2024Updated 2 years ago
- A PyTorch implementation for Temporal Textual Localization in Video via Adversarial Bi-Directional Interaction Networks☆38Sep 9, 2020Updated 5 years ago
- AS5600 full-featured driver library for general-purpose MCU and Linux.☆79Oct 25, 2025Updated 4 months ago
- ☆58May 9, 2024Updated last year
- ☆43Dec 21, 2023Updated 2 years ago
- The official implementation of BackTAL, TPAMI 2021.☆165Mar 9, 2022Updated 4 years ago
- It is an Android-based application that enables managing hotspot properties through a web interface, providing mobile routing functionali…☆154Dec 19, 2024Updated last year
- NRF905 full-featured driver library for general-purpose MCU and Linux.☆76Jan 6, 2026Updated 2 months ago
- 基于vue3.2(setup语法糖)+vite创建的自己的ui组件库并实现按需导入☆96Jul 2, 2022Updated 3 years ago
- 自然语言处理、深度学习、机器学习的一些个人博客☆35Nov 19, 2022Updated 3 years ago
- PHP Laravel Telegram Bot☆172Updated this week
- Oh yeah, we have image cache uses IndexedDB!☆88Jul 30, 2024Updated last year
- Simple I/O event notification library wirtten in Golang☆119Dec 27, 2024Updated last year
- ☆36Apr 28, 2022Updated 3 years ago