"The gift of mental power comes from God, Divine Being, and if we concentrate our minds on that truth, we become in tune with this great power. My Mother had taught me to seek all truth in the Bible."― Nikola Tesla
☆88Sep 28, 2020Updated 5 years ago
Alternatives and similar repositories for Supertech-Papers
Users that are interested in Supertech-Papers are comparing it to the libraries listed below
Sorting:
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- All Machine Learning Algorithms☆27Oct 17, 2020Updated 5 years ago
- My personal site.☆10Feb 23, 2026Updated last week
- bayesPop R package☆11Feb 23, 2026Updated last week
- HashiCorp Vault Connector for Mule 4☆12May 23, 2024Updated last year
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Some helpful tutorials and codes for SQL☆12May 4, 2025Updated 10 months ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Skype icon wrapper for linux☆17Apr 29, 2016Updated 9 years ago
- One of the most important operations in Computer Vision is Segmentation. Image segmentation is the task of clustering parts of an image t…☆10Aug 16, 2023Updated 2 years ago
- Professor and Group List of CS☆10Mar 12, 2024Updated last year
- A Golang application that demonstrates how to monitor a Golang service using Prometheus and Grafana. This is for Docker's official Deno L…☆15Mar 22, 2025Updated 11 months ago
- Go eBPF Library☆12Jul 9, 2016Updated 9 years ago
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated 10 months ago
- Meet strangers in your Slack Workspace, explore new people. Fully anonymous and secure, bot doesn't store any data.☆11Sep 13, 2024Updated last year
- A prototype of a codetracer recorder for Ruby☆17Feb 24, 2026Updated last week
- Example layout for a package using Go assembly.☆12Aug 18, 2016Updated 9 years ago
- Go tool to connect to websocket for sending and receiving messages and load testing.☆10Dec 20, 2025Updated 2 months ago
- A broken problem☆22Feb 28, 2026Updated last week
- A (incomplete) terminal Tetris. Written in Haskell.☆26Jan 18, 2018Updated 8 years ago
- Chrome extension to block Instagram Reels and YouTube Shorts - get bored instead, get creative!☆12Jan 5, 2025Updated last year
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆13Jul 27, 2025Updated 7 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Repository containing the resources I create/collect to run reading group sessions.☆12Feb 23, 2025Updated last year
- Demo SoC☆10Oct 17, 2023Updated 2 years ago
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated last month
- Feature rich Model Context Protocol (MCP) Server to let LLMs automate connected Android devices/emulators.☆11Apr 27, 2025Updated 10 months ago
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 3 weeks ago
- ☆13May 25, 2023Updated 2 years ago
- Go implementation of MurmurHash3☆13Jun 3, 2013Updated 12 years ago
- Protocol for transparent collections of files.☆12Aug 13, 2025Updated 6 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- disk usage for IBM Storage Scale file systems☆11Updated this week