topshell
ttlite
topshell | ttlite | |
---|---|---|
5 | 1 | |
472 | 121 | |
0.0% | - | |
0.0 | 0.0 | |
over 2 years ago | over 2 years ago | |
Scala | Scala | |
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.
topshell
-
What's the syntax of lambda expressions in your language?
TopShell, curried, arrow:
-
Ask HN: What are some tools / libraries you built yourself?
I created TopShell - a purely functional, reactive scripting language for fetch/process/visualize style tasks: https://github.com/topshell-language/topshell
-
"If you can compile it, there's probably no bugs" languages other than Haskell?
I'm working on TopShell, which is in that category.
-
Are there any language where reactive programming are first class constructs?
TopShell is purely functional and has discrete reactive streams built in (shameless plug).
ttlite
-
Seemingly Impossible Functional Programs
One of the authors of this work, who apparently now works on supercompilers at Meta, open sourced some nice tools for equivalence testing based on graph rewriting [1] and MLTT [2]. If you're interested in that kind of stuff I recommend checking out his work:
[1]: https://github.com/ilya-klyuchnikov/mrsc
[2]: https://github.com/ilya-klyuchnikov/ttlite
What are some alternatives?
Rx.NET - The Reactive Extensions for .NET
lean - Lean Theorem Prover
metamine - A new declarative programming language
Coq-Equations - A function definition package for Coq
Pion WebRTC - Pure Go implementation of the WebRTC API
cicada - Cicada Language
libretto - Declarative concurrency and stream processing library for Scala
Agda - Agda is a dependently typed programming language / interactive theorem prover.
yadm - Yet Another Dotfiles Manager
order-taking - Idris version of Domain Modeling Made Functional Book.
Shynet - Modern, privacy-friendly, and detailed web analytics that works without cookies or JS.
mrsc - A toolkit for building multi-result supercompilers