a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

DateCommit messageAuthorFiles+-
Minor changes the APL implementationPablo Emilio Escobar Gaviria1+2-2
Minor changes the APL implementationPablo Emilio Escobar Gaviria3+33-23
Added an APL versionPablo Emilio Escobar Gaviria2+25-2
Updated the OCaml implementationPablo Emilio Escobar Gaviria6+54-59
Fixed small errorsPablo Emilio Escobar Gaviria3+10-15
Merge branch 'no-paralel'Pablo Emilio Escobar Gaviria4+30-152
Made the Prolog implementation more eloquentPablo Emilio Escobar Gaviria1+9-15
Benchmarked the C++ implementationPablo Emilio Escobar Gaviria4+15-18
Fixed small syntax errors in java/Main.javaPablo Emilio Escobar Gaviria2+15-7
Cleaned stats.csvPablo Emilio Escobar Gaviria2+1-1
Update Main.hsPablo Emilio Escobar Gaviria1+54-54
Fixed an encoding error in README.adocPablo Emilio Escobar Gaviria1+1-1
Extracted the stats table in README.adoc to a CSV filePablo Emilio Escobar Gaviria2+9-26
Revert "Switched from latex to asciimath in README.adoc"Pablo Emilio Escobar Gaviria1+4-4
Switched from latex to asciimath in README.adocPablo Emilio Escobar Gaviria1+4-4
Fixed titles in README.adocPablo Emilio Escobar Gaviria1+1-1
Cleaned some latex codePablo Emilio Escobar Gaviria1+3-3
Cleaned some latex codePablo Emilio Escobar Gaviria1+1-1
Fixed error in an equation in README.adocPablo Emilio Escobar Gaviria1+1-1
Fixed error in an equation in README.adocPablo Emilio Escobar Gaviria1+1-1
Fixed error in an equation in README.adocPablo Emilio Escobar Gaviria1+1-1
Fixed error in an equation in README.adocPablo Emilio Escobar Gaviria1+1-1
Updated the proof to make it more readablePablo Emilio Escobar Gaviria3+62-11
Fixed error in the equations of README.adocPablo Emilio Escobar Gavíria1+1-1
Fixed stuffPablo Emilio Escobar Gavíria3+7-6
Removed irrelevant files from .gitignorePablo Emílio Escobar Gaviria2+9-6
Removed irrelevant files from the repositoryPablo Emílio Escobar Gaviria5+12-538
Cleaned up the Rust implementationPablo Emílio Escobar Gaviria2+33-32
Patched the scriptsPablo Emílio Escobar Gaviria22+46-66
Refactored the build scripts into Make targetsPablo Emilio Escobar Gaviria9+274-43
Updated README.adocPablo Emilio Escobar Gaviria1+29-9
Updated the READMEPablo Emilio Escobar Gaviria12+178-179
Fixed errors in the Idris implementation.Pablo Escobar Gaviria1+2-21
Added an Idris implementation.Pablo Escobar Gaviria5+59-24
Formatted the Ruby implementation.Pablo Escobar Gaviria2+24-1
Minor adjustments.Pablo Escobar Gaviria5+6-81
Fixed the syncronization issue.Pablo Escobar Gaviria1+12-13
Formatted the OCaml implementation.Pablo Escobar Gaviria1+32-52
Made the OCaml implementation concurrent.Pablo Escobar Gaviria1+44-8
Minor adjustments.Pablo Escobar Gaviria2+3-3
Replaced _for loop_ for _while loop_ in the Rust implementation to improve performance.Pablo Escobar Gaviria1+5-1
Fixed the Go implementation and updated it's benchmarking information.Pablo Escobar Gaviria2+79-79
Updated note about benchmarking.Pablo Escobar Gaviria1+1-1
Added information about the number of processes used for benchmarking.Pablo Escobar Gaviria2+9-8
Removed the Idris implementation from the repo, sice it is far from complete.Pablo Escobar Gaviria3+0-222
Minor changes in `README.md`.Pablo Escobar Gaviria1+1-1
Formatted the Racket implementation.Pablo Escobar Gaviria1+6-6
Updated benchmarking information.Pablo Escobar Gaviria7+83-28
Finished describing the general algorithm in `README.md`.Pablo Escobar Gaviria1+28-1
Fixed minor syntax errors in `script.rkt`.Pablo Escobar Gaviria2+6-4
Cleaned the Racket implementation.Pablo Escobar Gaviria1+9-9
Cleaned the C implementation.Pablo Escobar Gaviria1+1-3
Finished writing the Racket implementation.Pablo Escobar Gaviria1+21-6
Improved all implementations in functional programming languages by make the calculation of the sum of the digits of the test values tail recursive.Pablo Escobar Gaviria2+11-10
Started writing a Racket implementation.Pablo Escobar Gaviria4+25-7
Cleaned the Kotlin implementation.Pablo Escobar Gaviria3+8-26
Cleaned the Haskell implementation.Pablo Escobar Gaviria2+5-1
Improved the efficiency of the Haskell implementation by caching the results of `sum'` in a `Vector Int` instead of accumulating them into a map.Pablo Escobar Gaviria1+11-35
Cleaned the Prolog implementation.Pablo Escobar Gaviria2+13-12
Cleaned the C and the Rust implementations.Pablo Escobar Gaviria7+146-212
Formated the Kotlin and Java implementations.Pablo Escobar Gaviria10+98-89
Formatted the JS, Python, Ruby and Prolog implementations.Pablo Escobar Gaviria4+12-19
Formated the Wasm implementation.Pablo Escobar Gaviria7+318-63
Started further documenting the implementations.Pablo Escobar Gaviria1+62-4
Pulled `Wasm/main.wat` from `github`.Pablo Escobar Gaviria3+78-13
Cleaned the Rust and the Go implementations.Pablo Escobar Gaviria4+160-137
Revert "Updated the Rust and the Go implementations to fit the new algorthm."Pablo Escobar Gaviria2+120-129
Merge branch 'master' of https://github.com/GarkGarcia/A-Conjecture-of-MinePablo Escobar Gaviria5+89-23
Revert "Create a pure Wasm implementation."Pablo Escobar Gaviria5+23-89
Updated the Rust and the Go implementations to fit the new algorthm.Pablo Escobar Gaviria2+129-120
Create a pure Wasm implementation.Pablo Escobar Gaviria5+89-23
Cleaned the Kotlin implementation.Pablo Escobar Gaviria1+40-20
Fixed indexing issue in the DOS x86 implementation.Pablo Escobar Gaviria1+4-0
Optimized the x86 implementation, deprecating the unnecessary use of static variables in the program.Pablo Escobar Gaviria1+98-96
Cleaned the DOS x86 implementation.Pablo Escobar Gaviria5+198-413
Removed dead code from the Elixir implementation.Pablo Escobar Gaviria1+9-29
Finished optimizing the Elixir implementation.Pablo Escobar Gaviria1+26-35
Started further optimizing the Elixir implementation.Pablo Escobar Gaviria1+46-45
Optimized the Elixir implementation to cache the values of `sum n`.Pablo Escobar Gaviria1+40-17
Fixed ambiguous parentheses in Elixir implementation.Pablo Escobar Gaviria2+11-17
Cleaned the C++ implementation.Pablo Escobar Gaviria2+10-17
Removed unnecessary files from the Elixir implementation.Pablo Escobar Gaviria7+78-138
Restructured the repo.Pablo Escobar Gaviria31+1546-1512
Cleaned the Haskell implementation.Pablo Escobar Gaviria1+38-36
Further optimized the Haskell implementation.Pablo Escobar Gaviria1+28-18
Optimized the Haskell implementation by using tabled recursion.Pablo Escobar Gaviria4+168-151
Further optimized the Prolog implementation.Gark Garcia1+15-22
Optimized the Prolog implementation.Gark Garcia1+8-6
Updated proof.pdfGark Garcia2+1-0
Merged benchmarking.Gark Garcia29+409-843
Fixed minor errors in the C implementation.Gark Garcia2+4-4
Fixed the minor logic error on 'main.c'.Gark Garcia1+27-28
Merge pull request #5 from Androthi/masterGark Garcia1+107-21
Further documented the Rust implementation.Gark Garcia1+4-1
Updated README.mdGark Garcia1+12-5
Renamed the 'get_range_countrexpl' function to 'get_iter_countrexpl'.Gark Garcia1+5-5
Merge branch 'rust'Gark Garcia3+12-158
Implemented an iterator approach for distributing calculations across threads.Gark Garcia2+20-25
Merge branch 'master' of https://github.com/GarkGarcia/A-Conjecture-of-Mine into goGark Garcia2+29-37
Implemented concurrency in the Go version.Gark Garcia1+76-12
Merged with the kotlin branch.Gark Garcia3+1-7
Created a Kotlin implementation.Gark Garcia10+111-0
Removed conjecture.cabal from the repo.Gark Garcia1+0-29
Merge branch 'haskell'Gark Garcia6+5-83
Merge branch 'master' of https://github.com/GarkGarcia/A-Conjecture-of-MineGark Garcia1+13-0
Merged Main.hs.Gark Garcia1+95-41
Optimized the counter' function.Gark Garcia1+27-21
Merge pull request #3 from PixelyIon/masterGark Garcia3+334-0
Implemented timing functionalities for the x86 version.Gark Garcia1+87-20
Merge pull request #2 from Androthi/masterGark Garcia2+126-10
Improved readability in PROGRAM.ASM.Gark Garcia1+16-18
Deleted unnecessary comments in PROGRAM.ASM.Gark Garcia1+5-25
Merge pull request #1 from Androthi/patch-1Gark Garcia1+67-35
Worked on fixes for stack corruption errors in the x86 implementation.Gark Garcia1+41-43
Implemented reading and writing routines in the x86 implementation.Gark Garcia1+103-29
Improved the x86 implementation.Gark Garcia2+115-15
Worked on the x86 implementation.Gark Garcia1+54-9
Created Java and Go implementations.Gark Garcia7+163-11
Optmized mutiple implementations by caching the sum of the digits of the tested numbers.Gark Garcia8+98-38
Optimized the JS, Python, Ruby and C implementations.Gark Garcia13+109-297
Optimized the Rust implementation and stated creating a C implementation.Gark Garcia13+197-51
Added proof.pdf to the repository.Gark Garcia1+0-0
Cleaned up the JS, TS, ruby and python implementations.Gark Garcia5+52-108
Optimized the rust implementationGark Garcia10+61-105
Update README.mdGark Garcia1+1-0
Optimized the rust and haskell implementations.Gark Garcia18+116-881
Restructured the repository to include other language implementations.Gark Garcia30+1672-287
Optimized calculations by switching from signed to unsigned integers whenever possible.Gark Garcia3+121-64
Optimized threading functionalities.Gark Garcia3+166-31
Optimized threading functionalities.Gark Garcia4+32-47
Optimized the is_multiple_of_nine(n: i32) function.Gark Garcia1+19-12
Further implemented console functionalities.Gark Garcia2+84-30
Implemented multi-threading functionality.Gark Garcia3+110-126
Cleaned unecessary type conversions.Gark Garcia1+2-2
Optimized the progress annotation functionality.Gark Garcia1+9-9
Implemented console functionalities.Gark Garcia3+146-13
Initial commit.Gark Garcia4+80-0