namannimmo10 / Google-Summer-of-Code-with-SymPyView external linksLinks
This repository showcases my proposal, final report, and the work done during Google Summer of Code 2020 with the SymPy project.
☆13Mar 29, 2022Updated 3 years ago
Alternatives and similar repositories for Google-Summer-of-Code-with-SymPy
Users that are interested in Google-Summer-of-Code-with-SymPy are comparing it to the libraries listed below
Sorting:
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 2 years ago
- It's a Crowdfunding dapp deployed on Avalanche Fuji Testnet☆20Apr 14, 2023Updated 2 years ago
- Reading list on Cryptocurrencies like Bitcoin, Ethereum, Crypto tokens and Blockchain☆14May 27, 2018Updated 7 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆22Dec 15, 2025Updated 2 months ago
- CLI version of codeforces problemsets which not only brings you all the problems present in Codeforces to your terminal effortlessly, but…☆10Dec 11, 2022Updated 3 years ago
- A Dark theme for VS Code☆13Apr 1, 2021Updated 4 years ago
- Bootstrapping setup for participants☆10Dec 29, 2021Updated 4 years ago
- ☆10May 26, 2020Updated 5 years ago
- ☆18May 25, 2024Updated last year
- ZK-Snarks in English☆14Jul 19, 2017Updated 8 years ago
- Software and Hardware models of Approximate Carry-Lookahead Adder with Intelligent Carry Judgement and Correction☆12Apr 21, 2022Updated 3 years ago
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆12Apr 21, 2021Updated 4 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- ☆16Updated this week
- Hive,Pig,Hbase,Sqoop examples☆15Apr 24, 2017Updated 8 years ago
- A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.☆12Aug 8, 2022Updated 3 years ago
- 微信小程序集结☆16Nov 10, 2021Updated 4 years ago
- 8086 Assembly Chess☆11Feb 11, 2019Updated 7 years ago
- From now on, I'm thinking of maintaining my CP codes.☆15Aug 4, 2021Updated 4 years ago
- A beginner's guide to crypto development for Ethereum and EVM compatible chains☆14Apr 28, 2022Updated 3 years ago
- Generative data visualization created for strangersinmyhead.info☆13Jul 31, 2021Updated 4 years ago
- The Pollen Protocol. Built on the Lens Protocol 🌿. Won FIRST PRIZE in Polygon BUIDLIT hackathon. Built at Polygon Fellowship 2022☆15Aug 22, 2022Updated 3 years ago
- readwell.xyx☆12Dec 8, 2022Updated 3 years ago
- ☆15Feb 18, 2023Updated 2 years ago
- O(1) Cryptography is an easy to use, hard to misuse Java cryptographic library based on O(1) cryptographic algorithms☆15Sep 15, 2022Updated 3 years ago
- An attempt to use risc0 with ink!☆13Oct 24, 2025Updated 3 months ago
- Tutorial, wiki and assignments related to CTFs and cybersecurity☆13Dec 12, 2021Updated 4 years ago
- A module to install the dependencies for the projects in The Big Book of Small Python Projects☆15Sep 1, 2021Updated 4 years ago
- The Wordle you know, but with Zero-Knowledge Proofs☆18Dec 9, 2022Updated 3 years ago
- ☆15Sep 7, 2020Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- ☆17Nov 27, 2020Updated 5 years ago
- ☆18Jul 5, 2023Updated 2 years ago
- 🌈 Python cheatsheet for all standard libraries☆18Jan 3, 2026Updated last month
- Resources, by the people, of the people, for the people.☆14Apr 24, 2021Updated 4 years ago
- Curated list of awesome open-source applications made with Node.js☆17Nov 22, 2016Updated 9 years ago
- ☆20Mar 25, 2021Updated 4 years ago
- An autonomous SRE agent that monitors cloud logs across multiple platforms, leveraging AI models from various providers to detect anomali…☆30Jan 9, 2026Updated last month