Alternatives and similar repositories for rudin

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

• caidish / UndergradThesis

  View on GitHub
  This repository is for my undergraduate thesis. It contains the tex file, the bib file and figures needed to reproduce the thesis. Some p…
  ☆13Jun 5, 2019Updated 6 years ago
• Wallaceh / cukeforker

  View on GitHub
  Library to maintain a forking queue of Cucumber processes
  ☆16Oct 17, 2019Updated 6 years ago
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 6 years ago
• mturquette / ghar-email

  View on GitHub
  Email configuration repository for ghar
  ☆12Mar 3, 2018Updated 7 years ago
• WhoopInc / dogstatsde

  View on GitHub
  A StatsD (plus Datadog tag additions) client for Erlang
  ☆12Mar 26, 2024Updated last year
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• josephwecker / epgsql_pool

  View on GitHub
  Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.
  ☆31Apr 23, 2010Updated 15 years ago
• ZeroPass / ack

  View on GitHub
  Antelope cryptography library for ECC, RSA and SHA-3
  ☆10Mar 12, 2025Updated 11 months ago
• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• lambdaclass / metal_playground

  View on GitHub
  A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
  ☆10Mar 17, 2023Updated 2 years ago
• nixpulvis / lambash

  View on GitHub
  A λ-calculus shell (because I love writing shells).
  ☆11Jan 2, 2020Updated 6 years ago
• unbalancedparentheses / learning

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 2 years ago
• ZiCog / fibo_4784969

  View on GitHub
  The million digit Fibonacci number challenge. Calculate fibo(4784969) in various languages.
  ☆12Oct 5, 2025Updated 4 months ago
• saleyn / netmon

  View on GitHub
  Erlang Network Monitor
  ☆11Apr 22, 2016Updated 9 years ago
• kanamekojima / rnnimp

  View on GitHub
  ☆12Jun 27, 2024Updated last year
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• orumin / wb

  View on GitHub
  Wizard Bible archive
  ☆12Apr 16, 2018Updated 7 years ago
• CREATe-centre / sociaml-oauth-client

  View on GitHub
  OAuth client library in OCaml.
  ☆18Oct 16, 2017Updated 8 years ago
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• smukil / chatgptredisclient

  View on GitHub
  A distributed, fault-tolerant Redis Client POC completely written by prompting ChatGPT.
  ☆15Dec 7, 2022Updated 3 years ago
• 0xalpharush / capture-the-ether

  View on GitHub
  My solutions to capture the ether
  ☆13Jan 4, 2022Updated 4 years ago
• purcell / mode-line-bell

  View on GitHub
  Flash the Emacs mode line instead of ringing the bell
  ☆18Nov 7, 2024Updated last year
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• TobiasKozel / OpenGLCameraEffects

  View on GitHub
  Camera effects like chromatic aberration, vignetting, depth of field and barrel distortion.
  ☆12Jan 9, 2022Updated 4 years ago
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• KMahoney / kpm-list

  View on GitHub
  An Emacs buffer list
  ☆20Sep 24, 2017Updated 8 years ago
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• icaruswings / gizmo

  View on GitHub
  Gizmo is a simple page model testing framework which aims to DRY up testing assertions by abstracting code that defines your page.
  ☆42May 24, 2018Updated 7 years ago
• mal-hunter / Malware-Analysis-CSCI-4976

  View on GitHub
  Course materials for Malware Analysis by RPISEC
  ☆10May 11, 2017Updated 8 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• tsloughter / vanguard

  View on GitHub
  Discover Cadre in the Vanguard
  ☆10Aug 18, 2016Updated 9 years ago
• YiHoze / texwrapper

  View on GitHub
  Wrapper scripts to make documentation easier
  ☆13Updated this week
• dmnsgn / bird-oid

  View on GitHub
  A 3D boid system with accompanying emergent behaviors. Implementation mostly based on Craig Reynolds paper Steering Behaviors For Autonom…
  ☆15Apr 26, 2022Updated 3 years ago
• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• hengestone / scuttleberl

  View on GitHub
  An Erlang implementation of the Secure Scuttlebutt protocol
  ☆19Oct 31, 2019Updated 6 years ago