Working with intelligent people.
☆54Nov 18, 2020Updated 5 years ago
Alternatives and similar repositories for hire
Users that are interested in hire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Reactive ORM for Lovefield☆111Updated this week
- Well designed effect management framework for complex frontend app☆211Updated this week
- ☆18Aug 4, 2023Updated 3 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 关于组件库树形数据的一次分享☆22Jul 19, 2021Updated 5 years ago
- ☆19Feb 10, 2022Updated 4 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated 2 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 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.
- A scable and extensible build system for the Web ecosystem.☆33Apr 23, 2022Updated 4 years ago
- ☆28Nov 2, 2022Updated 3 years ago
- Minify any GraphQL document in Rust☆17Aug 24, 2023Updated 2 years ago
- An effect-management library for React☆14Dec 19, 2020Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 4 years ago
- A plugin for optimizing stateless component of React (tsx)☆30Apr 7, 2019Updated 7 years ago
- Rsbuild + Vue SFC demo☆28Sep 9, 2024Updated last year
- Experimenting with a faster bundling algorithm☆37Jan 13, 2023Updated 3 years ago
- Reactive ORM for Lovefield☆105Dec 7, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 在 Telegram 上快速模仿迟先生卖弱。☆10Oct 28, 2021Updated 4 years ago
- A multi-threaded, persistent key/value store☆17Feb 9, 2021Updated 5 years ago
- A PWA for cnodejs.org written by Baidu-Lavas.☆13Sep 26, 2017Updated 8 years ago
- ☆21Jul 14, 2023Updated 3 years ago
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- 谷歌的软件工程学☆188Jul 19, 2022Updated 4 years ago
- ☆25Updated this week
- ice.js and rax-app custom swc☆21Jan 21, 2023Updated 3 years ago
- [WIP] Pure-JavaScript implementation of the V8 value serializer☆32Apr 20, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆10Jul 12, 2020Updated 6 years ago
- ☆11Aug 4, 2026Updated 2 weeks ago
- RxImg is an image processing tool based on reactive data streams, allowing image processing pipeline to be built on a low-code graphical …☆14Jan 22, 2023Updated 3 years ago
- Lavas Template with App Shell☆45Feb 24, 2018Updated 8 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 9 months ago
- 自动化构建发布 Taro （微信/支付宝）小程序☆24Apr 9, 2021Updated 5 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆27Nov 27, 2023Updated 2 years ago