A Graphics Library for Idris 2.
☆73Nov 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
Sorting:
- A Serverless ChatOps tool to interact with Bamboo from Microsoft Teams☆174Nov 8, 2024Updated last year
- Deep Reinforcement Learning Algorithms for solving Atari 2600 Games☆143Mar 23, 2023Updated 2 years ago
- 【全网最强】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
- ☆153Jul 28, 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 2 years ago
- 一款基于敏捷开发理念的PHP MVC高性能框架，可基于集成的TinyPHP-UI前端组件库，快速开发响应式的WEB/H5应用。☆154May 21, 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…☆93Jan 5, 2024Updated 2 years ago
- json转为typescript接口☆221Jan 5, 2023Updated 3 years ago
- This project features optimized Go language, expert source code, concurrent processing, and industry-best practices.☆142Mar 14, 2023Updated 2 years ago
- ☆153Jun 12, 2022Updated 3 years ago
- 新一代轻量、多端管理的ETH抽水代理☆139Feb 9, 2022Updated 4 years ago
- BH1750FVI full-featured driver library for general-purpose MCU and Linux.☆44Nov 15, 2025Updated 3 months ago
- This is a money-centric "Metaverse" within a Discord server.☆99Oct 22, 2022Updated 3 years ago
- ETH,BTC,ETC,RVN,ERGO,CFX 等币种中转抽水,有效防止CC攻击。支持SSL加密，后台web页监控，实时查看自己抽水情况。monitor目录下为多端口监控器，下载到本地pc使用。☆173Sep 15, 2022Updated 3 years ago
- 一个基于Kafka客户端封装的工具，Kafka开发效率神器☆223Oct 7, 2023Updated 2 years ago
- FEniCS codes for numerical electromagnetic fields. The version of FEniCS is 2017.2☆96Jun 11, 2023Updated 2 years ago
- a webpack plugin for Chrome dns & socket pools cache clearing☆85Jul 7, 2022Updated 3 years ago
- ☆207Apr 17, 2023Updated 2 years ago
- ☆162Jan 21, 2026Updated last month
- A simple-to-use yet function-rich medical image processing toolbox☆155Jan 10, 2023Updated 3 years ago
- MIFARE Classic(S50, S70) full-featured driver library for general-purpose MCU and Linux.☆131Jan 25, 2026Updated last month
- 🚀 A progressive framework helps you to build PWA app easier !!!☆147Dec 14, 2022Updated 3 years ago
- NRF905 full-featured driver library for general-purpose MCU and Linux.☆76Jan 6, 2026Updated last month
- AS5600 full-featured driver library for general-purpose MCU and Linux.☆79Oct 25, 2025Updated 4 months ago
- ☆58May 9, 2024Updated last year
- Colar: Effective and Efficient Online Action Detection by Consulting Exemplars, CVPR 2022.☆219Mar 31, 2022Updated 3 years ago
- The official implementation of BackTAL, TPAMI 2021.☆165Mar 9, 2022Updated 3 years ago
- PHP Laravel Telegram Bot☆171Updated this week
- a GUI☆28Mar 12, 2024Updated last year
- 基于vue3.2(setup语法糖)+vite创建的自己的ui组件库并实现按需导入☆96Jul 2, 2022Updated 3 years ago
- Oh yeah, we have image cache uses IndexedDB!☆88Jul 30, 2024Updated last year
- It is an Android-based application that enables managing hotspot properties through a web interface, providing mobile routing functionali…☆154Dec 19, 2024Updated last year
- 可以固定Pod/容器組IP地址的kubernetes網路輔助管理挿件。Kubernetes network management plug-in based on etcd storage can assign fixed IP for pod.☆254Nov 16, 2022Updated 3 years ago
- ☆102Dec 11, 2020Updated 5 years ago
- A PyTorch implementation for Temporal Textual Localization in Video via Adversarial Bi-Directional Interaction Networks☆38Sep 9, 2020Updated 5 years ago
- 基于Netty(Java技术栈高性能框架)+C技术开发的高性能矿池加密代理，支持多币种加密抽水(ETH/ETC/BTC/BCH/LTC/ERG/DOGE/XMR/ZEC/BSV/XEC/DASH/DCR/KDA/BTG/ZEN/CKB/HNS/TON等)，客户端服务端模式，…☆241May 29, 2022Updated 3 years ago