A language designed for the web that integrates with TypeScript
☆477Mar 26, 2026Updated this week
Alternatives and similar repositories for aeria
Users that are interested in aeria 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 schema definition language for Aeria☆16Nov 15, 2024Updated last year
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- Versão HTML5/EPUB3 traduzida do Livro SICP☆37May 9, 2019Updated 6 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Lightweight REST wrapper around WhatsApp protocol, powered by whatsmeow☆63Dec 8, 2025Updated 3 months 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.
- ☆13Oct 16, 2018Updated 7 years ago
- Expo Router - File Based Routing for React Native, tabs template with auth flow using context api☆46Jul 13, 2023Updated 2 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10May 9, 2019Updated 6 years ago
- My initial setup with testing, hot reload and debugging enabled☆16Feb 18, 2024Updated 2 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- O manual sobre criação de linguagens☆39Aug 15, 2021Updated 4 years ago
- My README.md☆17Jul 1, 2025Updated 8 months ago
- Kava is a Redis clone written in Rust.☆25May 18, 2024Updated last year
- 🗿Terminal rest client like Postman and Insomnia☆26Apr 21, 2025Updated 11 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Powerful Fetch☆25Mar 7, 2026Updated 3 weeks ago
- A reference app implementing a Payment-Provider protocol☆15Feb 10, 2026Updated last month
- ☆20Jun 15, 2022Updated 3 years ago
- High-performance, descriptor-based, low-latency, memory-safety, multi-platform, modular GPU-accelerated GUI library written for C++.☆154Mar 4, 2026Updated 3 weeks ago
- Repositório para ensinar a criar um modal com JavaScript no canal do YouTube da Hora de Codar.☆31Jul 25, 2022Updated 3 years ago
- ☆182Aug 1, 2024Updated last year
- ZennityLang is a C-based programming language focused on performance and low-level development☆21Jun 14, 2024Updated last year
- Ambiente de Desenvolvimento Integrado (ADI) contando com um explorador de arquivos, editor de código, compilador e outros.☆10Jun 19, 2025Updated 9 months ago
- ☆21Jan 30, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Mar 3, 2026Updated 3 weeks ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 9 months ago
- AbacatePay’s developer-first CLI for APIs and local workflows☆30Jan 31, 2026Updated last month
- 🧡 This project simulates a Operational System based on Windows. The application tells a little more about me, my hobbies and my life.☆22May 27, 2024Updated last year
- Fluxos de automação no n8n para agentes via LLM, com integração ao WhatsApp, Google Workspace e OpenAI. Arquivos em JSON.☆127Aug 15, 2025Updated 7 months ago
- The only validation library with flexible regex you need.☆20Mar 2, 2026Updated 3 weeks ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Mar 26, 2024Updated 2 years ago
- A Bash backend for PureScript☆20Jan 11, 2023Updated 3 years ago
- create your own game-engine with just lua for game boy advance☆12May 22, 2025Updated 10 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- (retired) My personal engine for making games☆14Sep 4, 2023Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 4 years ago
- Let's build a highly opinionated but fully-featured web framework in PureScript☆20Nov 10, 2021Updated 4 years ago
- Simple servant-persistent template with up to date libraries, multipart form data API, basic User management model, property testing, sim…☆32Nov 9, 2022Updated 3 years ago
- personal writings of my daily triumphs and challenges as a junior software engineer☆13Mar 31, 2023Updated 2 years ago
- Repositório destinado a ensinar a integração de React com SASS e criar um projeto utilizando as tecnologias.☆35Jul 14, 2022Updated 3 years ago
- [WIP] PureScript bindings for Playwright☆19Jul 17, 2024Updated last year