Squants
insect
Our great sponsors
Squants | insect | |
---|---|---|
8 | 24 | |
910 | 3,152 | |
0.1% | - | |
2.9 | 4.9 | |
7 days ago | 2 months ago | |
Scala | PureScript | |
Apache License 2.0 | 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.
Squants
-
Improving our safety with a physical quantities and units library
Scala's squants library is a nice implementation of units-of-measure/dimensional-analysis http://www.squants.com
In particular it uses types for dimensions; whilst units are just constructors. Hence `Meters(2)` and `Microns(7)` have the same type (`Length`).
- Show HN: Numbat – A programming language with physical dimensions as types
- The type system is a programmer's best friend
-
Is Scala a good choice for a data intensive web backend?
squants for the “Market” package to use in financial calculations.
-
Please put units in names
take a peek at https://www.squants.com looks like not in your language, but maybe you can apply some same concepts
-
Atlas, a (hopefully) better engineering IDE
You might find the Squants library for Scala interesting; it even seems like an apt usage of some oft-questioned language features.
https://github.com/typelevel/squants
- Ratio Templates?
insect
-
Show HN: Numbat – A programming language with physical dimensions as types
Apparently this replaces https://github.com/sharkdp/insect
- Insect – high precision scientific calculator with support for physical units
- The Icculus Microgrant is giving out 250 dollar grants to open source projects, please brag about your project(s) in this thread so I can see them!
-
What projects do you wish there was a self hosted version of
You might like https://insect.sh/ ;)
- Show HN: I made a web-based notepad with a built in unit calculator
-
ka: a calculator language for the command line
For the record I use insect.
-
Looking to build a plugin for logseq. Your problems needed!
https://github.com/sharkdp/insect seems to be somewhat similar, but it's mostly for physical units. However, it's the only opensource one that is embeddable.
-
Ask HN: Do you use a physical calculator in your day job, and why?
Insect: https://github.com/sharkdp/insect
It is a bit slow but has decent features, including some physical units support.
I set up Tilda (or another Guake equivalent; I tried a bunch of them and can’t remember on which I settled in the end) to run it automatically when a terminal is opened, when pressing Scroll Lock. It’s quite neat: when I need to do a quick calculation, I just hit Scroll Lock, which spawns a drop down terminal with the focus; then type whatever I want to calculate; then control-D to dismiss the drop down terminal and I am back in whatever I was doing without moving either hand off the keyboard.
I do more or less the same thing on my Mac with Alfred.
-
Kagi Search – Public Beta
I'm in the same boat and will pay for Kagi, though I have a different interaction with a search engine and thought you might like the counterpoint. Notably, I don't use Google for most of what you described:
Translation: I use DeepL instead (google is doing poorly on Asian languages)
Conversion: not having much need for imperial but I use this for all unit conversion (though usually directly in my terminal): https://insect.sh/
Wikipedia: if I type Wikipedia+something my browser automatically use the wiki engine (chrome can do that too)
Word definition: on OSX I long press on the trackpad and the definition pops up (across languages, translation too for single words)
Lyrics: Spotify show them now! (admittedly that's a recent feature)
-
anyone know a calculator that can count to unreasonably high numbers? I'm talking x*10^1000 and stuff??
insect.sh goes up to about 109 × 1015.
What are some alternatives?
Breeze - Breeze is a numerical processing library for Scala.
kalk - Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals
Axle - Axle Domain Specific Language for Scientific Cloud Computing and Visualization
TRex - Copy any text on your screen, stop retyping.
PredictionIO - PredictionIO, a machine learning server for developers and ML engineers.
uom - Units of measurement -- type-safe zero-cost dimensional analysis
Spire - Powerful new number types and numeric abstractions for Scala.
Copyfish - Copy, paste and translate text from images, videos and PDFs with this free Chrome extension
rscala - The Scala interpreter is embedded in R and callbacks to R from the embedded interpreter are supported. Conversely, the R interpreter is embedded in Scala.
macOCR - Get any text on your screen into your clipboard.
Compute.scala - Scientific computing with N-dimensional arrays
calc - C-style arbitrary precision calculator