Alternatives and similar repositories for rosa

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

• malyzajko / daisy

  View on GitHub
  ☆51Jul 3, 2025Updated 7 months ago
• mtodd / halcyon

  View on GitHub
  JSON Web App Framework [NOT UNDER ACTIVE DEVELOPMENT]
  ☆62Oct 3, 2020Updated 5 years ago
• js-js / cfg.js

  View on GitHub
  Javascript AST to CFG converter
  ☆21Jun 12, 2016Updated 9 years ago
• racket / parser-tools

  View on GitHub
  ☆15Nov 21, 2025Updated 2 months ago
• soarlab / FPTaylor

  View on GitHub
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆33Sep 1, 2024Updated last year
• carl-eastlund / dracula

  View on GitHub
  ☆10Jan 24, 2016Updated 10 years ago
• racketscript / racketscript-playground

  View on GitHub
  Online playground from RacketScript
  ☆19Mar 28, 2024Updated last year
• tatut / Webjure

  View on GitHub
  Webjure, a web programming framework for Clojure
  ☆32Nov 8, 2011Updated 14 years ago
• marijnh / uscheme

  View on GitHub
  Unlikely Scheme: A small Scheme interpreter
  ☆22May 28, 2011Updated 14 years ago
• ilyasergey / reachability

  View on GitHub
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Nov 24, 2015Updated 10 years ago
• webyrd / relational-parsing-with-derivatives

  View on GitHub
  Relational version of parsing with derivatives code
  ☆43Feb 15, 2013Updated 12 years ago
• sshastry / queenslogic

  View on GitHub
  n queens with the logic monad
  ☆20Jan 10, 2015Updated 11 years ago
• david-christiansen / tt-playground

  View on GitHub
  A playground for type theory implementations in Racket
  ☆20Dec 2, 2015Updated 10 years ago
• audreyt / moe

  View on GitHub
  萌典字宙反應爐 — Hanzi Fusion Reactor
  ☆22Jul 30, 2024Updated last year
• standardml / parcom

  View on GitHub
  SML Parser Combinator Library
  ☆28Apr 30, 2016Updated 9 years ago
• aaronvargo / scalaFP

  View on GitHub
  Functional experiments in Scala
  ☆21Apr 24, 2017Updated 8 years ago
• racket / frtime

  View on GitHub
  ☆20Nov 21, 2025Updated 2 months ago
• dyoo / moby-scheme

  View on GitHub
  The Moby Scheme Compiler for Smartphones
  ☆53Jun 11, 2012Updated 13 years ago
• JonasDuregard / testing-feat

  View on GitHub
  FEAT
  ☆25May 26, 2018Updated 7 years ago
• quantifind / Sumac

  View on GitHub
  Argument parsing in Scala
  ☆84Mar 27, 2023Updated 2 years ago
• dfdx / XDiff.jl

  View on GitHub
  eXpression differentiation in Julia
  ☆29Feb 8, 2020Updated 6 years ago
• LeifAndersen / racket-to-c

  View on GitHub
  ☆29Jul 1, 2015Updated 10 years ago
• webyrd / faster-miniKanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Feb 28, 2022Updated 3 years ago
• google-deepmind / levintreesearch_cm

  View on GitHub
  ☆34Updated this week
• kmowery / libfixedtimefixedpoint

  View on GitHub
  A library for doing constant-time fixed-point numeric operations
  ☆26Nov 6, 2020Updated 5 years ago
• brownplt / lambda-py

  View on GitHub
  ☆59Jan 30, 2014Updated 12 years ago
• gallais / pearl-binary-search

  View on GitHub
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29May 26, 2021Updated 4 years ago
• ntoronto / drbayes

  View on GitHub
  Dr. Bayes
  ☆84Jun 27, 2016Updated 9 years ago
• namin / scalogno

  View on GitHub
  prototyping logic programming in Scala
  ☆42Mar 25, 2022Updated 3 years ago
• douglascrockford / fash

  View on GitHub
  The Fash Fast Hash Family
  ☆33Jan 19, 2021Updated 5 years ago
• quephird / CustomKeyboards

  View on GitHub
  A repository containing all of my custom keyboards for iOS
  ☆14Jan 2, 2021Updated 5 years ago
• hhvm / hack-mode

  View on GitHub
  A Emacs major mode for editing Hack code
  ☆15Feb 7, 2026Updated last week
• webyrd / miniKanren-uncourse

  View on GitHub
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Apr 20, 2015Updated 10 years ago
• 47degrees / scala-commas

  View on GitHub
  A compiler plugin to add support for trailing commas in Scala 2.11
  ☆36Jun 28, 2016Updated 9 years ago
• enso-lang / enso

  View on GitHub
  ☆71Jun 12, 2020Updated 5 years ago
• stchang / parsack

  View on GitHub
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆49Dec 3, 2022Updated 3 years ago
• scazan / blocksosc

  View on GitHub
  A program to transmit OSC data directly from the ROLI Lightpad Block
  ☆11Jan 3, 2017Updated 9 years ago
• ChuanMeng / RLT4Reranking

  View on GitHub
  ☆12Nov 22, 2024Updated last year
• runarorama / latr

  View on GitHub
  A scala macro for reasonable lazy semantics
  ☆85Updated this week