agda-categories
topshell
| agda-categories | topshell | |
|---|---|---|
| 3 | 5 | |
| 348 | 472 | |
| 0.3% | 0.0% | |
| 9.1 | 0.0 | |
| 18 days ago | over 2 years ago | |
| Agda | Scala | |
| MIT License | 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.
agda-categories
-
Category of types
Yes, the types and functions of Coq/Agda/Lean/Idris form a proper category (if you don't use unsound axioms). Any category theory library will have it, e.g. see this Agda file.
- Category Theory Library for Agda
-
"If you can compile it, there's probably no bugs" languages other than Haskell?
Isabelle/HOL has seL4 in it, and is probably one of the best in terms of automation. Lean 3 has the enormous, comprehensive mathlib library of mathematics. Agda has one of the best Category Theory libraries and one of the most fully realised implementations of cubical type theory. F* has Project Everest, which implements a huge amount of cryptographic and networking protocols, and is used in production in projects like Azure and Firefox.
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).
What are some alternatives?
seL4 - The seL4 microkernel
Rx.NET - The Reactive Extensions for .NET
ttlite - A SuperCompiler for Martin-Löf's Type Theory
metamine - A new declarative programming language
Pion WebRTC - Pure Go implementation of the WebRTC API
libretto - Declarative concurrency and stream processing library for Scala
yadm - Yet Another Dotfiles Manager
Shynet - Modern, privacy-friendly, and detailed web analytics that works without cookies or JS.
lore - Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersection types, and a mix of functional and imperative programming.
gutenberg - A fast static site generator in a single binary with everything built-in. https://www.getzola.org
GoJS, a JavaScript Library for HTML Diagrams - JavaScript diagramming library for interactive flowcharts, org charts, design tools, planning tools, visual languages.
Nullboard - Nullboard is a minimalist kanban board, focused on compactness and readability.