An elmish architecture for fltk-rs
☆22Sep 22, 2025Updated 8 months ago
Alternatives and similar repositories for flemish
Users that are interested in flemish are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A smart table widget for fltk-rs☆21Aug 10, 2025Updated 10 months ago
- Run egui on top of FLTK☆13Dec 17, 2024Updated last year
- A cargo subcommand to build MSIX installers for Rust projects☆12Jun 9, 2024Updated 2 years ago
- Biblioteca para utilizar Calendário Dekatrian☆11Feb 7, 2018Updated 8 years ago
- An implementation of the Austral language compiler in Rust☆15Apr 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Build Tangle-style interactive documents in the Jupyter/IPython Notebook☆12Feb 17, 2022Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Json-youtube-export allows easy conversion from the CSV format export from YouTube subscriptions to a valid JSON format to be imported in…☆11Jan 29, 2022Updated 4 years ago
- Rust GFX examples with Sciter UI.☆19Dec 6, 2022Updated 3 years ago
- small embeddable C-style preprocessor☆47May 12, 2023Updated 3 years ago
- Apartments.com API for Python. Originating as scraper.☆13Mar 6, 2018Updated 8 years ago
- A library for managing global application state (similar to redux).☆15May 19, 2021Updated 5 years ago
- webview functionality for embedded fltk windows☆51Nov 4, 2025Updated 7 months ago
- Haskell support☆18Jun 7, 2026Updated last week
- 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.
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- A render-backend independant egui backend for sdl2☆11Sep 7, 2025Updated 9 months ago
- This is a tool to delete the remaining dependencies and cache files in the development environment, eg: nodule_modules、target...☆11Jul 22, 2024Updated last year
- Fork of libffi-rs which corrects autotools usage☆22Oct 26, 2021Updated 4 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- Runtime types for OCaml (beta version)☆27May 18, 2026Updated 3 weeks ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 10 months ago
- Changelog management tool for the CLI☆27Jun 1, 2026Updated 2 weeks ago
- 可视化的页面设计器☆10Jun 2, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 收银系统☆10Jul 8, 2018Updated 7 years ago
- A proof-of-concept for the Eth1-Eth2 quick merge proposal☆12Apr 22, 2021Updated 5 years ago
- Provide Rust Commander Convert From Env☆12Mar 31, 2022Updated 4 years ago
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- A simple utility for multithreading a/synchronization☆23Oct 1, 2022Updated 3 years ago
- μKanren implementation in Haskell☆19Jul 3, 2014Updated 11 years ago
- 一个OJ的测试用例生成器☆11Apr 9, 2021Updated 5 years ago
- Rust wrapper for libfive.☆22Nov 13, 2024Updated last year
- 判题核心实现（获取程序运行时间和内存 消耗）☆10Sep 30, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A shortcut (.lnk for Windows, .desktop for Linux, .app for MacOS) which will always open Steam Big Picture mode, regardless of the curren…☆26Jan 4, 2018Updated 8 years ago
- Repository to accelerate SQL IaaS Extension, workshop and step by step guidance☆16Jan 17, 2023Updated 3 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/linear-algebra☆10Mar 6, 2016Updated 10 years ago