Alternatives and similar repositories for abstract-algebra-pinter-solutions

Users that are interested in abstract-algebra-pinter-solutions are comparing it to the libraries listed below

• narodnik / math-notes
  math notes under one roof
  ☆25Updated 6 months ago
• bcc-research / resource-pricing
  Code for Dynamic Pricing for Non-fungible Resources
  ☆16Updated 2 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆71Updated this week
• starkware-libs / formal-proofs
  ☆59Updated 6 months ago
• unbalancedparentheses / learning
  I like to learn new things
  ☆10Updated 2 years ago
• angeris / spla-repo
  A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
  ☆20Updated 10 months ago
• hellsegga-xyz / 055-contract
  Contracts and Circuits for 055 Artifacts
  ☆10Updated 2 years ago
• ZeroKnowledgefm / ZeroKnowledgeBasics
  A spot to add introductory resources for people getting into the space
  ☆24Updated 3 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆12Updated last month
• timroughgarden / fob21
  Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)
  ☆45Updated 8 months ago
• ecpeterson / FormalGeomNotes
  Notes from the 278 semester class at Harvard
  ☆19Updated 3 weeks ago
• Autoparallel / learner
  Making learning sh*t less annoying
  ☆40Updated 3 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆53Updated 9 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated last week
• SebastianElvis / crypto-lecture-notes
  This repository collects lecture notes on Cryptography that are publicly accessible.
  ☆24Updated 3 years ago
• Veridise / Coda
  ☆47Updated last year
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• primitivefinance / Topological-Data-Analysis
  This repository is for topologic and geometric data analysis.
  ☆13Updated 2 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• o1-labs / verkle-tree
  ☆27Updated 3 years ago
• siraben / evm-assembler
  No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
  ☆13Updated last year
• daira / describe-curve
  Describe elliptic curves
  ☆35Updated 4 years ago
• arielgabizon / Lectures
  ☆28Updated 7 months ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 3 years ago
• sedaprotocol / bn254
  ☆16Updated 11 months ago
• dapp-studies / blockchain-reading-group
  Papers relating to decentralized applications.
  ☆16Updated 8 years ago