Alternatives and similar repositories for cis-194-summer-2018

Users that are interested in cis-194-summer-2018 are comparing it to the libraries listed below

• halogenandtoast / dagon

  View on GitHub
  The programming language of the elder gods.
  ☆30Aug 30, 2016Updated 9 years ago
• kowainik / smuggler

  View on GitHub
  🚣 Smuggle all imports
  ☆71May 2, 2020Updated 5 years ago
• chessai / pump

  View on GitHub
  reverse dependency build matrix generator
  ☆33Sep 19, 2020Updated 5 years ago
• FESTA-PKE / FESTA-SageMath

  View on GitHub
  SageMath implementation of the Isogeny-Based PKE FESTA
  ☆10Aug 18, 2023Updated 2 years ago
• sbravyi / symmetric_group_characters

  View on GitHub
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆11Sep 26, 2025Updated 4 months ago
• 2mol / solar-system

  View on GitHub
  https://2mol.github.io/solar-system/
  ☆10Jul 12, 2021Updated 4 years ago
• c4osl / rocketchatcsam

  View on GitHub
  This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…
  ☆12Nov 17, 2025Updated 2 months ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• lambda-rennes / space-invaders

  View on GitHub
  ☆10Jun 14, 2020Updated 5 years ago
• signalapp / poksho

  View on GitHub
  ☆10May 2, 2022Updated 3 years ago
• rhodiumdb / rhodium

  View on GitHub
  A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…
  ☆10Jul 25, 2021Updated 4 years ago
• nimble-training / nimble-virtual-2021

  View on GitHub
  Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.
  ☆14May 28, 2021Updated 4 years ago
• jvanbruegge / Megarecord

  View on GitHub
  My experiment about implementing Row Polymorphism in current Haskell
  ☆16Dec 9, 2018Updated 7 years ago
• HewlettPackard / LSGI

  View on GitHub
  Large-Scale Graph Inference
  ☆12Nov 6, 2024Updated last year
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• ekmett / unique

  View on GitHub
  fast unique variables
  ☆10Aug 23, 2025Updated 5 months ago
• edgarcosta / endomorphisms

  View on GitHub
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Jul 31, 2025Updated 6 months ago
• VolosR / PokerS3

  View on GitHub
  ☆10Sep 9, 2023Updated 2 years ago
• Mc-Zen / htgrouper

  View on GitHub
  Hardware-tailored grouping for Pauli measurements.
  ☆13Nov 28, 2025Updated 2 months ago
• NationalSecurityAgency / PACE-python

  View on GitHub
  ☆11Aug 15, 2023Updated 2 years ago
• antiboredom / interrogating-dating-pioneer-works

  View on GitHub
  ☆11Dec 3, 2020Updated 5 years ago
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated last year
• taktoa / chemsim

  View on GitHub
  An attempt at writing a Lattice Boltzmann CFD simulator in Rust
  ☆10Apr 29, 2019Updated 6 years ago
• tdietert / lambda-pi

  View on GitHub
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆12Jan 29, 2020Updated 6 years ago
• aaronlevin / free-http

  View on GitHub
  An HTTP Client in Haskell Based on Free Monads
  ☆10Dec 31, 2015Updated 10 years ago
• mhetrick / capstarc

  View on GitHub
  Arc4 controlled "tape" playback
  ☆11Mar 21, 2017Updated 8 years ago
• cchalmers / circuit-notation

  View on GitHub
  A plugin for circuit notation
  ☆12Aug 8, 2025Updated 6 months ago
• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Oct 19, 2021Updated 4 years ago
• vaishnavimurthy / Akaya-Telivigala

  View on GitHub
  Telugu + Latin
  ☆11Apr 29, 2021Updated 4 years ago
• Games-by-Mason / structopt

  View on GitHub
  Argument parsing for Zig.
  ☆15Dec 15, 2025Updated 2 months ago
• BlackInRobotics / BlackInRobotics.github.io

  View on GitHub
  ☆11Mar 18, 2025Updated 10 months ago
• radarsat1 / dimple

  View on GitHub
  This project is an implementation of a physical dynamics environment which can be controlled via OSC, so that audio projects such as Pure…
  ☆16May 8, 2019Updated 6 years ago
• sagemath / pari-jupyter

  View on GitHub
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Sep 4, 2024Updated last year
• stevana / coroutine-state-machines

  View on GitHub
  State machines with async I/O capabilities
  ☆12Apr 13, 2023Updated 2 years ago
• gtudan / bpmn-js-cmd

  View on GitHub
  A command line tool for rendering BPMN-Diagrams with https://bpmn.io/toolkit/bpmn-js/
  ☆11Dec 30, 2022Updated 3 years ago
• dwave-examples / feature-selection-notebook

  View on GitHub
  Feature selection for machine learning using mutual information.
  ☆15Dec 4, 2024Updated last year
• apnelson1 / Matroid

  View on GitHub
  ☆13Updated this week
• open-power / op-benchmark-recipes

  View on GitHub
  Performance Benchmark Recipes for Power-based systems
  ☆14Apr 12, 2019Updated 6 years ago