benchmarks
| idris-okasaki-pfds | benchmarks | |
|---|---|---|
| 2 | 40 | |
| - | 2,747 | |
| - | - | |
| - | 7.2 | |
| - | 3 months ago | |
| Makefile | ||
| - | 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.
idris-okasaki-pfds
-
What things would be awkward to do in a hypothetical "strict" Haskell variant, that are now not awkward to do?
https://gitlab.com/bss03/idris-okasaki-pfds/-/blob/master/src/BootstrappedQueue.idr is what I was thinking about. (It is just a queue, not a deque.)
benchmarks
- Some Benchmarks of Different Languages
- Building a high performance JSON parser
- Top 5 Fastest Programming Languages
- Twitter (re)Releases Recommendation Algorithm on GitHub
-
How green or energy efficient is the Go programming language?
GitHub - kostya/benchmarks: Some benchmarks of different languages
- how to benchmark a programming language
-
Ruby 3.2.0 Is from Another Dimension
In all the language comparisons I've found over the years, Python consistently comes out slightly slower, for example:
https://github.com/kostya/benchmarks
Bearing in mind these are probably not even using YJIT, which makes Ruby considerably faster in some scenarios.
- I made a 88x88 version of the big display image command generator in Python! (will share github link if admins allow it)
-
The original computer languages benchmark is back
Also, here is another benchmark: https://github.com/kostya/benchmarks
- Why does Scala seem to be slow at benchmark results?
What are some alternatives?
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
libuv - Cross-platform asynchronous I/O
lua-languages - Languages that compile to Lua
julia - The Julia Programming Language
beartype - Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
mypyc - Compile type annotated Python to fast C extensions
Cython - The most widely used Python to C compiler
circe - Yet another JSON library for Scala
lucky - A full-featured Crystal web framework that catches bugs for you, runs incredibly fast, and helps you write code that lasts.
Kategory - Λrrow - Functional companion to Kotlin's Standard Library
vector - A high-performance observability data pipeline.
Rope - a python refactoring library