Data Types a la carte from PureScript -> JavaScript
β13Apr 19, 2017Updated 9 years ago
Alternatives and similar repositories for alacarte
Users that are interested in alacarte are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Counter Strike: Global Offensive FPGA Version (LOL)β15Mar 11, 2017Updated 9 years ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Sep 7, 2022Updated 3 years ago
- Servant dhall bindingsβ19Dec 1, 2020Updated 5 years ago
- β18Mar 14, 2016Updated 10 years ago
- My emacs configurationsβ23Updated this week
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Small Emacs-Lisp library for non-blocking threads, if by "thread" you mean "list of functions"β16Aug 18, 2024Updated last year
- Encrypt / decrypt a file using Shamir secret sharingβ20Dec 17, 2020Updated 5 years ago
- Less compiler in Javaβ20Jan 3, 2024Updated 2 years ago
- Functional Programming Talk with Javascript code examplesβ24Dec 5, 2014Updated 11 years ago
- β22Nov 12, 2017Updated 8 years ago
- η³θζζδΉvscodeζδ»Άβ13Aug 31, 2022Updated 3 years ago
- A simple Emacs configuration with modal editingβ51Aug 12, 2025Updated 11 months ago
- A persistent, RRB-Tree based vector for Rustβ31May 18, 2026Updated 2 months ago
- Extensible Free Monad Effectsβ14Mar 16, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Just for fun riscv64 emulator, which boots the Linux.β41Jul 16, 2026Updated last week
- β15Oct 8, 2024Updated last year
- β15Jan 9, 2013Updated 13 years ago
- Oleg Kiselyov's zipper-based file-server/OSβ27Apr 9, 2020Updated 6 years ago
- k theorem proverβ11Aug 16, 2022Updated 3 years ago
- ειΉζ΄Ύεε·₯ι€ι ζΉεζ‘£β11Jun 13, 2024Updated 2 years ago
- A low level, expressive languageβ14Dec 12, 2024Updated last year
- Python 2.x/3.x wrappers for the SMHasher libraryβ26Dec 3, 2013Updated 12 years ago
- Go response to `swift vs node.js benchmarks` :)β20Oct 24, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agentβ14Aug 3, 2018Updated 7 years ago
- A Python library for experimental data calculation, treatment and display, which can be used for College Physics Experiment, Analytical Cβ¦β14Sep 29, 2018Updated 7 years ago
- An improved version of the Kimbie Dark color theme for Visual Studio Codeβ18Sep 2, 2020Updated 5 years ago
- Shapeless generic instances for Scrooge typesβ14Feb 16, 2018Updated 8 years ago
- Terrier's desktop search demo productβ13Aug 2, 2018Updated 7 years ago
- β13Jan 6, 2023Updated 3 years ago
- A Gnus backend for Discourseβ25May 8, 2025Updated last year
- β13Jun 26, 2012Updated 14 years ago
- miniKanren in Pharoβ12Jun 10, 2024Updated 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.
- θζ―οΌ https://weibo.com/5084870733/E6GfkarzQβ21Jun 17, 2017Updated 9 years ago
- ARMv7 Single-Cycle processor implementation in Logisimβ13Sep 20, 2022Updated 3 years ago
- Elaboration with inductive typesβ16Jun 1, 2023Updated 3 years ago
- β10Jan 26, 2015Updated 11 years ago
- β82Jan 18, 2021Updated 5 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.β14Oct 13, 2016Updated 9 years ago
- Configurations for Linux and Mac OS Xβ19Apr 19, 2026Updated 3 months ago