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☆173Nov 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攻击，不怕扫描攻击，内置加密证书…☆193Jul 15, 2023Updated 2 years ago
- AI powered tools playground☆120Aug 16, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Edit video by writing JS code☆196Apr 26, 2022Updated 4 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应用。☆153May 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
- ☆152Jun 12, 2022Updated 3 years ago
- a webpack plugin for Chrome dns & socket pools cache clearing☆84Jul 7, 2022Updated 3 years ago
- 新一代轻量、多端管理的ETH抽水代理☆138Feb 9, 2022Updated 4 years ago
- json转为typescript接口☆221Jan 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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.☆98Oct 22, 2022Updated 3 years ago
- BH1750FVI full-featured driver library for general-purpose MCU and Linux.☆44Nov 15, 2025Updated 5 months ago
- ☆206Apr 17, 2023Updated 3 years ago
- 一个基于Kafka客户端封装的工具，Kafka开发效率神器☆223Oct 7, 2023Updated 2 years ago
- 🚀 A progressive framework helps you to build PWA app easier !!!☆146Dec 14, 2022Updated 3 years ago
- MIFARE Classic(S50, S70) full-featured driver library for general-purpose MCU and Linux.☆128Jan 25, 2026Updated 3 months ago
- ETH,BTC,ETC,RVN,ERGO,CFX 等币种中转抽水,有效防止CC攻击。支持SSL加密，后台web页监控，实时查看自己抽水情况。monitor目录下为多端口监控器，下载到本地pc使用。☆171Sep 15, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆161Jan 21, 2026Updated 3 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.☆80Oct 25, 2025Updated 6 months ago
- ☆58May 9, 2024Updated last year
- ☆43Dec 21, 2023Updated 2 years ago
- The official implementation of BackTAL, TPAMI 2021.☆164Mar 9, 2022Updated 4 years ago
- It is an Android-based application that enables managing hotspot properties through a web interface, providing mobile routing functionali…☆156Dec 19, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- NRF905 full-featured driver library for general-purpose MCU and Linux.☆77Jan 6, 2026Updated 3 months ago
- 基于vue3.2(setup语法糖)+vite创建的自己的ui组件库并实现按需导入☆95Jul 2, 2022Updated 3 years ago
- 自然语言处理、深度学习、机器学习的一些个人博客☆35Nov 19, 2022Updated 3 years ago
- PHP Laravel Telegram Bot☆171Mar 20, 2026Updated last month
- Oh yeah, we have image cache uses IndexedDB!☆87Jul 30, 2024Updated last year
- Simple I/O event notification library wirtten in Golang☆119Dec 27, 2024Updated last year
- ☆35Apr 28, 2022Updated 4 years ago