karax
cubiml-demo
Our great sponsors
karax | cubiml-demo | |
---|---|---|
14 | 6 | |
1,038 | 134 | |
1.5% | - | |
6.0 | 0.0 | |
about 1 month ago | over 1 year ago | |
Nim | Rust | |
MIT License | Apache License 2.0 |
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.
karax
- Karax – SPA in Nim
-
Nitter (Twitter front end) is working again
The frontend uses Karax, which is my favorite frontend/SPA library. It is an absolute joy to use, even if it's a bit rough around the edges.
https://github.com/karaxnim/karax
-
I learned 7 programming languages so you don't have to
I have used Nim for personal projects for 6 years now and it continues to surprise me on how well versed it is for many problem domains. I am fond of it's SPA framework, karax https://github.com/karaxnim/karax for which I wrote a translation utility https://github.com/nim-lang-cn/html2karax Latest Nimv2 release candidate has improved in the ergonomics and syntax that affect compilation to js, so I was able to cleanup my webapp's code to be less verbose. On GPU programming there has been a few projects that touch GPU programming, most notably https://github.com/treeform/shady
-
Web apps in pure Python.
And it's present not only in Python but in other languages as well. Check for example https://github.com/karaxnim/karax - I don't know why people would want to hide all of their HTML in Python/whatever language. Then limit their ability to script and style it in one way or another.
-
A Cost Model for Nim
> the real killer feature to me is the javascript target
Agree, this is amazing because you can share code and data structures between front and backend (for example: https://github.com/karaxnim/karax).
Also, it's really nice having high level stuff like metaprogramming and static typing spanning both targets. Things like reading a spec file and generating statically checked APIs for server/client is straightforward, which opens up a lot of possibilities.
- Karax – Single page applications for Nim
-
Will Zig interop with JavaScript/Web at all?
E.g. Nim focuses on enabling what it calls "single page web apps": https://github.com/karaxnim/karax.
-
Html2karax First Release
Karax [1] being Nim's SPA framework that also supports server side rendering.
[1]: https://github.com/karaxnim/karax
- Karax. Single page applications for Nim
-
How to use JS to make a front end
I recommend you to take a look at Karax. It's a front-end framework for Nim that can compile to regular JavaScript. If you want to know how to use it with a webserver, Joker is a good example. With the Joker config, all of the compiled .js files land in /public/views, where you can take a look at them. But keep in mind that the JS that Nim produces is often rather cumbersome and hundreds of lines long, even if it's just a simple program.
cubiml-demo
-
Recursive type checking
https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html https://github.com/Storyyeller/cubiml-demo
-
Favorite PL paper?
oh and I forgot to mention, there's a minimal implementation of algebraic subtyping for an ML-style language https://github.com/Storyyeller/cubiml-demo
-
Is there a language with structural type constraints for variants and records?
Cubiml might be worth looking at as well.
-
Type checking Erlang
https://github.com/Storyyeller/cubiml-demo https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
CubiML
-
Is it correct that types are not involved/used in semantics but syntax of a programming language?
My own cubiml has type-independent semantics for example.
What are some alternatives?
nim-chronos - Chronos - An efficient library for asynchronous programming
IntercalScript - The IntercalScript programming language
jester - A sinatra-like web framework for Nim.
kesh - A simple little programming language that could one day compile to JavaScript.
happyx - Macro-oriented asynchronous web-framework written in Nim with ♥
firefly-boot - Bootstrap compiler for Firefly
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
coffeescript - Unfancy JavaScript
vscode-nim
nile
pixie - Full-featured 2d graphics library for Nim.