Alternatives and similar repositories for can4eve

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

• garagetinkering / speedo-gauge-lvgl

  View on GitHub
  Dynamic LVGL code for a car RPM / speed gauge on a Waveshare 2.1" ESP32-S3 controller
  ☆18Dec 2, 2024Updated last year
• StreamUnlimited / marvell-sd-uapsta-8987

  View on GitHub
  GPL marvell drivers for 88W8987
  ☆11Jun 30, 2022Updated 3 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• deepfire / nh

  View on GitHub
  Manage Nix Haskell override sets
  ☆11Sep 30, 2018Updated 7 years ago
• thecatontheflat / atlassian-vendor-tools

  View on GitHub
  Set of tools for Atlassian Marketplace Vendors
  ☆10Sep 25, 2017Updated 8 years ago
• CRImier / EEEoma

  View on GitHub
  EEEoma project files ( eeeoma.tk )
  ☆11Jul 5, 2018Updated 7 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• adbrowne / dynamodb-eventstore

  View on GitHub
  EventStore implementation on top of AWS DynamoDB
  ☆10Feb 26, 2017Updated 8 years ago
• cosmicdan / Mstar_bintool

  View on GitHub
  Unpack / repack scripts for Mstar firmware bundles/binaries (e.g. MstarUpgrade.bin)
  ☆11May 25, 2016Updated 9 years ago
• robrix / silkscreen

  View on GitHub
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Feb 27, 2022Updated 3 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• amsa / fallacy-hunter

  View on GitHub
  Detect logical fallacies in text (POC)
  ☆14Apr 22, 2015Updated 10 years ago
• wentam / sxmo-nix

  View on GitHub
  ☆12Dec 5, 2022Updated 3 years ago
• davean / waldo

  View on GitHub
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Jun 10, 2012Updated 13 years ago
• jneira / wai-servlet

  View on GitHub
  Library to integrate eta wai applications with servlet api
  ☆18Jan 9, 2019Updated 7 years ago
• eukara / freegearbox

  View on GitHub
  Clean-room reimplementation of Opposing Force in QuakeC.
  ☆17Feb 1, 2025Updated last year
• lheckemann / uap-nix

  View on GitHub
  ☆24Jan 22, 2025Updated last year
• erikd / haskell-big-integer-experiment

  View on GitHub
  An experiment in re-implementing big integers in Haskell.
  ☆40Dec 9, 2022Updated 3 years ago
• corajr / heroku-buildpack-nix-proot

  View on GitHub
  A Heroku buildpack using Nix.
  ☆13Mar 28, 2017Updated 8 years ago
• adnelson / nix-node-packages

  View on GitHub
  A bunch of NPM packages defined in the nix language.
  ☆12May 25, 2021Updated 4 years ago
• jxv / animate-frames

  View on GitHub
  🎞️ Sprite frames to spritesheet & metadata
  ☆18Jun 17, 2018Updated 7 years ago
• GaloisInc / ICryptol

  View on GitHub
  IPython-style interaction for Cryptol
  ☆15Dec 5, 2016Updated 9 years ago
• supki / xmonad-screenshot

  View on GitHub
  Gtk-based screen capturing utility for XMonad.
  ☆25Apr 9, 2025Updated 10 months ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• jwiegley / categorical

  View on GitHub
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Jan 28, 2018Updated 8 years ago
• scalaz / introduction-to-fp-in-scala

  View on GitHub
  FP in Scala course, based on "Patterns in Types (Lambda Jam 2013)" and the Data61 fp-course
  ☆20Nov 23, 2018Updated 7 years ago
• jagajaga / nixos-slim-theme

  View on GitHub
  NixOS theme for SLiM lock
  ☆17Feb 17, 2018Updated 7 years ago
• Profpatsch / libnix-haskell

  View on GitHub
  Haskell library to interface with the nix package manager
  ☆25Nov 23, 2021Updated 4 years ago
• davidpadbury / stirred-coffee

  View on GitHub
  Macros in CoffeeScript prototype
  ☆23Dec 7, 2010Updated 15 years ago
• hradec / mstar6a918

  View on GitHub
  code for mstar 6a918
  ☆17Sep 9, 2014Updated 11 years ago
• haskell-mafia / mismi

  View on GitHub
  Haskell library for AWS
  ☆22Oct 14, 2019Updated 6 years ago
• thsutton / cha

  View on GitHub
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22May 13, 2016Updated 9 years ago
• rxw1 / slices

  View on GitHub
  A browser for sliced Haskell fragments
  ☆15Sep 23, 2015Updated 10 years ago
• acowley / ros2nix

  View on GitHub
  Use ROS with the Nix package manager
  ☆18Jan 14, 2018Updated 8 years ago
• liliambean / s3unlocked

  View on GitHub
  Long-running WIP modification of Sonic 3 for the Mega Drive
  ☆28Updated this week
• aionescu / wasm-hs

  View on GitHub
  Type-safe WebAssembly eDSL in Haskell
  ☆28Oct 20, 2024Updated last year
• ayberkt / sequents

  View on GitHub
  Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
  ☆26Nov 27, 2023Updated 2 years ago
• tlrobinson / v8-typed-array

  View on GitHub
  [UNMAINTAINED] Typed Array implementation for V8 and Node.js
  ☆27Jul 11, 2011Updated 14 years ago
• txus / rexpl

  View on GitHub
  An interactive bytecode console for Rubinius
  ☆31Jun 16, 2013Updated 12 years ago