issues
search
sharkdp
/
numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
https://numbat.dev
Apache License 2.0
1.26k
stars
53
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Formatting integer output without underscores
#554
charlescochran
opened
2 months ago
2
Add dark theme and improve scrolling experience
#552
Goju-Ryu
closed
1 month ago
4
add docker support
#551
blairun
closed
1 week ago
4
Numbat online editor
#550
sharkdp
opened
2 months ago
13
The `|>` operator can cause parsing errors where normal function calls do not
#549
Goju-Ryu
opened
2 months ago
6
Type-inference Gauss elimination example
#548
sharkdp
closed
2 months ago
0
Fix pretty printing for some generic types
#547
sharkdp
closed
2 months ago
0
Safe versions of round/ceil/floor/trunc
#546
sharkdp
closed
3 months ago
0
Pretty printing shows superflous forall quantifiers
#545
sharkdp
closed
2 months ago
0
Local bindings are missing in relevant matches for typed holes
#544
sharkdp
opened
3 months ago
0
Avoid cloning the typechecker in `elaborate_statement`
#543
GuerricChupin
closed
3 months ago
0
Return the position of runtime failure
#542
irevoire
opened
3 months ago
3
style: simplify string formatting for readability
#541
hamirmahal
closed
3 months ago
3
[Design] Multiline expression
#539
irevoire
opened
3 months ago
2
Numbat lsp
#538
irevoire
opened
3 months ago
4
Reduce the number of calls to simplify
#537
irevoire
closed
2 months ago
20
Notepad/soulver-like interface for Numbat?
#536
endigma
opened
3 months ago
12
Why are we calling `FullSimplify` everywhere
#535
irevoire
closed
2 months ago
1
Unexpected behavior of unit conversions inside functions
#534
Mads-MMJ
closed
2 months ago
4
JSON parse error in wasm version causes very long system error to be printed
#533
Mads-MMJ
closed
1 month ago
4
Implicit multiplication with parens: improve error message
#532
sharkdp
opened
3 months ago
0
New example: Geographical distance
#531
sharkdp
closed
3 months ago
0
Add fixed-point iteration
#530
sharkdp
closed
3 months ago
0
Runge-Kutta method
#529
sharkdp
opened
3 months ago
0
Bump Bytes from yanked version
#528
RossSmyth
closed
3 months ago
1
Improve error message for assert_eq/3
#527
xmbhasin
closed
3 months ago
6
Major documentation update
#526
sharkdp
closed
3 months ago
0
Improve startup time (regression)
#525
sharkdp
opened
3 months ago
3
Pretty-printing: do not show `forall` multiple times
#524
sharkdp
closed
2 months ago
0
Update documentation
#523
sharkdp
closed
3 months ago
0
Use egui_plot instead of plotly.rs
#522
sharkdp
closed
2 months ago
1
unit_of is unsound
#521
sharkdp
opened
3 months ago
6
Change postfix apply operator
#520
sharkdp
closed
3 months ago
0
Multiline functions: local variables
#519
irevoire
closed
3 months ago
9
Make the reverse function call more useful
#518
irevoire
closed
3 months ago
4
Calendar arithmetic for DateTimes
#517
sharkdp
closed
3 months ago
0
Egui plot
#516
irevoire
closed
3 months ago
1
Make list slightly less embarrassingly slow
#515
irevoire
closed
3 months ago
2
Generic structs
#514
sharkdp
opened
3 months ago
0
Allow closing parens and newlines
#513
irevoire
closed
3 months ago
0
Markdown in `@description()` decorators
#512
Bzero
opened
3 months ago
3
Replace chrono with jiff
#511
sharkdp
closed
3 months ago
12
Use the most appropriate unit to reduce the number of digits when displaying something
#510
irevoire
opened
3 months ago
4
Support for multi-line functions
#509
irevoire
closed
3 months ago
4
Add julian_date conversions
#508
sharkdp
closed
3 months ago
0
Allow closing parens (and trailing comma?) in function calls to be on the next line
#507
sharkdp
closed
3 months ago
0
Add inspect(…) function for debugging
#506
sharkdp
opened
3 months ago
8
assert_eq: Better error messages
#505
sharkdp
closed
3 months ago
6
Color format conversions
#504
sharkdp
closed
2 months ago
1
Add @example decorator
#503
sharkdp
closed
1 month ago
0
Previous
Next