jcouyang/alacarte external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jcouyang/alacarte

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jcouyang/alacarte)

Close

jcouyang / alacarteView on GitHubMore

• External links
• Readme badge

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.

• SmartHypercube / fpga_csgo

  View on GitHub
  Counter Strike: Global Offensive FPGA Version (LOL)
  ☆15Mar 11, 2017Updated 9 years ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 4 years ago
• haskell-servant / servant-dhall

  View on GitHub
  Servant dhall bindings
  ☆19Dec 1, 2020Updated 5 years ago
• phensley / python-readable

  View on GitHub
  Python port of Arc90's Readability content extraction rules
  ☆13Dec 24, 2010Updated 15 years ago
• roife / .emacs.d

  View on GitHub
  My emacs configurations
  ☆23Updated this week
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 10 years ago
• LemonHX / lean4-rs

  View on GitHub
  rust binding for lean4
  ☆12Jul 1, 2023Updated 3 years ago
• CrossEye / FuncProgTalk

  View on GitHub
  Functional Programming Talk with Javascript code examples
  ☆24Dec 5, 2014Updated 11 years ago
• meedstrom / asyncloop

  View on GitHub
  Small Emacs-Lisp library for non-blocking threads, if by "thread" you mean "list of functions"
  ☆16Aug 18, 2024Updated 2 years ago
• Squarespace / less-compiler

  View on GitHub
  Less compiler in Java
  ☆21Sep 6, 2026Updated 2 months ago
• chenzhuoyu / simple-lisp

  View on GitHub
  A Simple Lisp Interpreter
  ☆10Feb 21, 2022Updated 4 years ago
• phensley / secretbox

  View on GitHub
  Encrypt / decrypt a file using Shamir secret sharing
  ☆20Dec 17, 2020Updated 5 years ago
• ice1k / Theorems

  View on GitHub
  Theorems that rule this multiverse
  ☆11Oct 6, 2018Updated 8 years ago
• moonbitlang / moonlex

  View on GitHub
  ☆11Oct 30, 2026Updated last week
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• AgentVis-OS / aiphone_assistant

  View on GitHub
  An AI agent operating your phone to be your assitant.
  ☆16Oct 17, 2026Updated 3 weeks ago
• gjcarrette / siod

  View on GitHub
  ☆22Nov 12, 2017Updated 8 years ago
• jcouyang / luci

  View on GitHub
  Extensible Free Monad Effects
  ☆14Mar 16, 2021Updated 5 years ago
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆39Jul 16, 2026Updated 3 months ago
• DogLooksGood / meomacs

  View on GitHub
  A simple Emacs configuration with modal editing
  ☆52Aug 12, 2025Updated last year
• bloat / maze.logic

  View on GitHub
  ☆15Jan 9, 2013Updated 13 years ago
• phensley / python-smhasher

  View on GitHub
  Python 2.x/3.x wrappers for the SMHasher library
  ☆26Dec 3, 2013Updated 12 years ago
• arazabishov / pvec-rs

  View on GitHub
  A persistent, RRB-Tree based vector for Rust
  ☆33May 18, 2026Updated 5 months ago
• dannypsnl / k

  View on GitHub
  k theorem prover
  ☆11Aug 16, 2022Updated 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• valyala / swift-response

  View on GitHub
  Go response to `swift vs node.js benchmarks` :)
  ☆20Oct 24, 2016Updated 10 years ago
• binghe / OSCAR

  View on GitHub
  The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
  ☆14Aug 3, 2018Updated 8 years ago
• xingrongtech / analyticlab

  View on GitHub
  A Python library for experimental data calculation, treatment and display, which can be used for College Physics Experiment, Analytical C…
  ☆14Sep 29, 2018Updated 8 years ago
• dnamsons / Kimbie-Dark-Plus

  View on GitHub
  An improved version of the Kimbie Dark color theme for Visual Studio Code
  ☆18Sep 2, 2020Updated 6 years ago
• jkarni / ZipperFS

  View on GitHub
  Oleg Kiselyov's zipper-based file-server/OS
  ☆27Apr 9, 2020Updated 6 years ago
• UFOAlastor / sakana-hop

  View on GitHub
  石蒜摇摇乐vscode插件
  ☆13Aug 31, 2022Updated 4 years ago
• Seeed-Studio / Grove_Dust_Sensor

  View on GitHub
  ☆15Oct 8, 2024Updated 2 years ago
• kenbot / free-yowlj

  View on GitHub
  Exercises for my Free Monad workshop at YOW Lambda Jam 2014 in Brisbane
  ☆10May 15, 2014Updated 12 years ago
• Lakr233 / MAGPIE

  View on GitHub
  喜鹊派员工餐配方存档
  ☆12Jun 13, 2024Updated 2 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• neargle / SecNewsBak

  View on GitHub
  背景： https://weibo.com/5084870733/E6GfkarzQ
  ☆21Jun 17, 2017Updated 9 years ago
• yh3434 / vertx-turtorial

  View on GitHub
  a tutorial for vert.x
  ☆16Oct 9, 2018Updated 8 years ago
• SparkyPotato / yam

  View on GitHub
  A low level, expressive language
  ☆14Dec 12, 2024Updated last year
• stripe-archive / scrooge-shapes

  View on GitHub
  Shapeless generic instances for Scrooge types
  ☆14Feb 16, 2018Updated 8 years ago
• jcouyang / react-workshop

  View on GitHub
  ☆10Jan 26, 2015Updated 11 years ago
• jonsterling / agda-effectful-forcing

  View on GitHub
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆13Sep 22, 2020Updated 6 years ago
• chadvandy / tw_modding_resources

  View on GitHub
  ☆11Oct 20, 2026Updated 2 weeks ago