internal-methods
Algorithms
| internal-methods | Algorithms | |
|---|---|---|
| 1 | 3 | |
| 50 | 16,542 | |
| - | - | |
| 8.1 | 7.2 | |
| 3 months ago | 3 months ago | |
| TeX | Java | |
| - | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
internal-methods
-
Computing an integer using a Grothendieck topos
Setting philosophy aside, one of the major applications of constructive logic is that it's the internal language of toposes (and related kinds of categories). This usually simplifies proofs considerably and can produce new results.
Some examples, Joyal and Tierney's An extension of the Galois theory of Grothendieck, CJ Mulvey's papers from the 70s (Intuitionistic algebra and representations of rings for example) and Blechschmidt's A General Nullstellensatz for Generalized Spaces.
Johnstone's Sketches of an Elephant often has both internal and external proofs for comparison and it's easily seen that the internal version is both easier to write and to understand.
For an article explicitly focused on using internal languages in algebraic geometry, see Blechschmidt's notes [0]. In particular, section 20 is dedicated to proving things that are difficult without the internal language.
[0] https://github.com/iblech/internal-methods
Algorithms
-
Algorithmic Alchemy: Exploiting Graph Theory in the Foreign Exchange
William Fiset's GitHub examples - Bellman Ford On Adjacency Matrix
-
20+ Trending and Popular Java Open Source Project
Algorithms
-
How To Solve Algorithm And Data Structure Problems [Tips]
williamfiset / Algorithms
What are some alternatives?
locus - A specialised computer algebra system for topos theory.
book-project - Book tracker web app for book lovers
Reals-as-Oracles - This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.
baritone - google maps for block game
ml-pen-and-paper-exercises - Pen and paper exercises in machine learning
SeriesGuide - Track your favorite TV shows and movies on Android devices.
okdownload - A Reliable, Flexible, Fast and Powerful download engine.
oj! Algorithms - oj! Algorithms
jsprit - jsprit is a java based, open source toolkit for solving rich vehicle routing problems
javawriter - A Java API for generating .java source files.
OpenRefine - OpenRefine is a free, open source power tool for working with messy data and improving it
dropwizard-jobs - Scheduling / Quartz integration for Dropwizard