Alternatives and similar repositories for alacarte

Users that are interested in alacarte are comparing it to the libraries listed below

• arazabishov / pvec-rs

  View on GitHub
  A persistent, RRB-Tree based vector for Rust
  ☆18Updated this week
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• haskell-servant / servant-dhall

  View on GitHub
  Servant dhall bindings
  ☆19Dec 1, 2020Updated 5 years ago
• roife / .emacs.d

  View on GitHub
  My emacs configurations
  ☆18Feb 25, 2025Updated 11 months ago
• SmartHypercube / fpga_csgo

  View on GitHub
  Counter Strike: Global Offensive FPGA Version (LOL)
  ☆15Mar 11, 2017Updated 8 years ago
• balez / generic

  View on GitHub
  Generic Programming Library for OCaml
  ☆34Mar 29, 2017Updated 8 years ago
• jayphelps / sweet-async-await

  View on GitHub
  Sweet.js macros to support the async/await ES7 proposed feature
  ☆36Jul 31, 2014Updated 11 years ago
• ZHaskell / z-botan

  View on GitHub
  Crypto for Haskell
  ☆37Jun 24, 2021Updated 4 years ago
• jcouyang / conjs

  View on GitHub
  a featured fork of mori, with core.async included
  ☆29Mar 23, 2016Updated 9 years ago
• oleksiiBobko / serpent

  View on GitHub
  ☆10Mar 22, 2019Updated 6 years ago
• yh3434 / vertx-turtorial

  View on GitHub
  a tutorial for vert.x
  ☆17Oct 9, 2018Updated 7 years ago
• bobzhang / fan

  View on GitHub
  Compile-time metaprogramming for OCaml
  ☆75Aug 5, 2024Updated last year
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Dec 14, 2022Updated 3 years ago
• Narukara / Oscilloscope

  View on GitHub
  Digital oscilloscope based on stm32
  ☆11Jan 9, 2023Updated 3 years ago
• terrier-org / terrier-desktop

  View on GitHub
  Terrier's desktop search demo product
  ☆13Aug 2, 2018Updated 7 years ago
• Wildhoney / ReactCrossfilter

  View on GitHub
  Crossfilter.js implemented as a mixin for ultra-fast filtering and sorting techniques baked into React.js components.
  ☆13Mar 3, 2015Updated 10 years ago
• 37Degrees / DataSets

  View on GitHub
  ☆14Mar 25, 2023Updated 2 years ago
• VarmaMSP / snake-game

  View on GitHub
  A demo of Functional Reactive Programming in Purescript
  ☆11May 17, 2018Updated 7 years ago
• choukh / Baby-Set-Theory

  View on GitHub
  Coq集合论中文教程
  ☆46Dec 17, 2021Updated 4 years ago
• tusikalanse / magic-in-ten-mins-cpp

  View on GitHub
  ☆82Jan 18, 2021Updated 5 years ago
• Lakr233 / MAGPIE

  View on GitHub
  喜鹊派员工餐配方存档
  ☆11Jun 13, 2024Updated last year
• xaviervia / playing-react-fantasy-land-types

  View on GitHub
  Playing around with a Fantasy Land type for React component
  ☆10Aug 5, 2017Updated 8 years ago
• react-atomic / react-atomic-ui

  View on GitHub
  Atomic UI
  ☆10Aug 30, 2024Updated last year
• vladimirias / old_notes_on_type_systems

  View on GitHub
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Jun 15, 2014Updated 11 years ago
• projecteru2 / elb

  View on GitHub
  Eru load balancer
  ☆10Sep 25, 2019Updated 6 years ago
• developit / preact-game-kit

  View on GitHub
  Component library for making games with React & React Native
  ☆10Mar 18, 2017Updated 8 years ago
• duog / generic-lens-labels

  View on GitHub
  ☆12Jul 8, 2021Updated 4 years ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• opendaylight / genius

  View on GitHub
  Mirror of the OpenDaylight genius gerrit project
  ☆14Jun 8, 2021Updated 4 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• hemanth / fetch-task

  View on GitHub
  fetch API as a Task.
  ☆10Jan 18, 2022Updated 4 years ago
• KtorZPersonal / purescript-ifrit

  View on GitHub
  An SQL -> NoSQL compiler for data aggregation
  ☆12Apr 2, 2017Updated 8 years ago
• drewolson / epicbot

  View on GitHub
  A Slack Bot for Epic Card Game
  ☆11Mar 5, 2023Updated 2 years ago
• rcore-os / x86-smpboot

  View on GitHub
  Booting multi-processors on x86 bare-metal.
  ☆12Feb 25, 2022Updated 3 years ago
• Avaq / node-server-skeleton

  View on GitHub
  A starting point for an experimental Node server application
  ☆15Feb 21, 2018Updated 7 years ago
• ShindouMihou / RoseDB

  View on GitHub
  A super simple, fast NoSQL database made in Java.
  ☆10Jul 4, 2021Updated 4 years ago
• kindohm / tidal-guide

  View on GitHub
  ☆10Feb 22, 2016Updated 9 years ago
• johntrimble / generator-cljs-fullstack

  View on GitHub
  Yeoman generator for webapps utilizing ClojureScript on the front-end and back-end.
  ☆28Mar 19, 2014Updated 11 years ago