Alternatives and similar repositories for code

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

• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated last month
• libreflip / cad
  CAD-Data of Libreflip
  ☆19Updated 6 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆80Updated 2 years ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆59Updated last year
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 8 months ago
• cbeav / symspell
  Haskell implementation of the SymSpell spelling correction algorithm
  ☆9Updated 6 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated last week
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 5 months ago
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated last month
• prologbyexample / code
  ☆30Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• GSA / i14y
  Search engine for agencies' published content
  ☆14Updated 3 weeks ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆40Updated 2 years ago
• PetriNets / petrinets.github.io
  Petrinet.org interactive playground website
  ☆15Updated 5 years ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated last month
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• simonsarris / simeville
  a 2d village
  ☆23Updated 2 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• bellroy / lesswrong
  Less Wrong platform
  ☆52Updated 7 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• tef / emfcamp2012
  Slides and Scripts for Talks given at http://www.emfcamp.org/
  ☆50Updated 12 years ago