Alternatives and similar repositories for fuurin

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

• PushkaraSharma / articles_codes

  View on GitHub
  This repo contains all codes of the articles that I have published on Medium
  ☆10Feb 10, 2021Updated 5 years ago
• khayyamsaleem / gradual-typing

  View on GitHub
  an implementation of gradual typing in mit-scheme
  ☆10Apr 11, 2021Updated 4 years ago
• carl-eastlund / dracula

  View on GitHub
  ☆10Jan 24, 2016Updated 10 years ago
• katusk / CMakeNuGetTools

  View on GitHub
  CMake functions for adding NuGet package dependencies with CMake exports or native .targets files, generating and merging .nuspec files, …
  ☆29Feb 8, 2023Updated 3 years ago
• scivision / cmakeutils

  View on GitHub
  Helpful scripts and modules for CMake, especially for scientific computing, HPC, and Fortran
  ☆27Feb 5, 2026Updated last week
• boostorg / pool

  View on GitHub
  Boost.org pool module
  ☆57Dec 10, 2025Updated 2 months ago
• ecraven / r7rs-swank

  View on GitHub
  Swank server for r7rs Schemes
  ☆59Jan 14, 2026Updated last month
• webyrd / quines

  View on GitHub
  Relational interpreter in miniKanren that can generate quines
  ☆131Jan 29, 2015Updated 11 years ago
• Cheukyin / TemplatedPL

  View on GitHub
  A Lisp Interpreter Written in C++ Template
  ☆73Dec 11, 2020Updated 5 years ago
• nameofuser1 / py-scurve

  View on GitHub
  Planning s-curve trajectories with python
  ☆76Oct 29, 2023Updated 2 years ago
• ucsd-progsys / liquid-fixpoint

  View on GitHub
  Horn Clause Constraint Solving for Liquid Types
  ☆157Jan 26, 2026Updated 2 weeks ago
• AdeptLanguage / Adept

  View on GitHub
  The Adept Programming Language
  ☆132Nov 10, 2025Updated 3 months ago
• CertiCoq / certicoq

  View on GitHub
  A Verified Compiler for Gallina, Written in Gallina
  ☆158Updated this week
• VoltLang / Volta

  View on GitHub
  Compiler for the Volt Programming Language
  ☆161May 11, 2025Updated 9 months ago
• AlexCeleste / C99-Lambda

  View on GitHub
  Purely evil preprocessor macros adding anonymous functions and closures to ISO C99
  ☆170May 1, 2015Updated 10 years ago
• vittorioromeo / scelta

  View on GitHub
  (experimental) Syntactic sugar for variant and optional types.
  ☆163May 11, 2019Updated 6 years ago
• Sarrasor / RoboticManipulators

  View on GitHub
  Calculation of forward and inverse kinematics, Jacobian matrices, dynamic modeling, trajectory planning and geometric calibration for ro…
  ☆212Dec 15, 2020Updated 5 years ago
• Kray-G / kinx

  View on GitHub
  Looks like JavaScript, feels like Ruby, and it is a script language fitting in C programmers.
  ☆239Dec 6, 2022Updated 3 years ago
• troglobit / libuev

  View on GitHub
  Lightweight event loop library for Linux epoll() family APIs
  ☆247Apr 28, 2025Updated 9 months ago
• chaos-lang / chaos

  View on GitHub
  The Chaos Programming Language
  ☆283Aug 17, 2022Updated 3 years ago
• One-Language / One

  View on GitHub
  One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (rel…
  ☆288Updated this week
• dibyendumajumdar / ravi

  View on GitHub
  Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers
  ☆1,243Feb 11, 2025Updated last year
• arithy / packcc

  View on GitHub
  A parser generator for C
  ☆405Jan 20, 2026Updated 3 weeks ago
• Deducteam / lambdapi

  View on GitHub
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆372Updated this week
• akurgat / automating-technical-analysis

  View on GitHub
  Using data analytics alongside popular trading strategies and indicators, to identify best trading actions based solely on the price acti…
  ☆403Feb 20, 2025Updated 11 months ago
• ros2 / rviz

  View on GitHub
  ROS 3D Robot Visualizer
  ☆428Jan 21, 2026Updated 3 weeks ago
• Flow-IPC / ipc

  View on GitHub
  [Start here!] Flow-IPC - Modern C++ toolkit for high-speed inter-process communication (IPC)
  ☆455Apr 11, 2025Updated 10 months ago
• gilch / hissp

  View on GitHub
  It's Python with a Lissp.
  ☆437Sep 10, 2025Updated 5 months ago
• dmtcp / dmtcp

  View on GitHub
  DMTCP: Distributed MultiThreaded CheckPointing
  ☆450Feb 1, 2026Updated last week
• Velron / doxygen-bootstrapped

  View on GitHub
  Customize doxygen output to use the twitter bootstrap framework.
  ☆396Mar 7, 2019Updated 6 years ago
• jorgen / json_struct

  View on GitHub
  json_struct is a single header only C++ library for parsing JSON directly to C++ structs and vice versa
  ☆464Oct 11, 2025Updated 4 months ago
• never-lang / never

  View on GitHub
  Never: statically typed, embeddable functional programming language.
  ☆460May 12, 2024Updated last year
• PrincetonUniversity / VST

  View on GitHub
  Verified Software Toolchain
  ☆487Jan 14, 2026Updated 3 weeks ago
• coal-library / coal

  View on GitHub
  An extension of the Flexible Collision Library
  ☆546Updated this week
• jrmeier / fast-trade

  View on GitHub
  low code backtesting library utilizing pandas and technical analysis indicators
  ☆523Updated this week
• boostorg / stacktrace

  View on GitHub
  C++ library for storing and printing backtraces.
  ☆484Jan 15, 2026Updated 3 weeks ago
• fzi-forschungszentrum-informatik / cartesian_controllers

  View on GitHub
  A set of Cartesian controllers for the ROS1 and ROS2-control framework.
  ☆544Oct 30, 2024Updated last year
• sweirich / pi-forall

  View on GitHub
  A demo implementation of a simple dependently-typed language
  ☆617Nov 18, 2024Updated last year
• skypjack / uvw

  View on GitHub
  Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!
  ☆2,026Dec 17, 2025Updated last month