The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 22 Lense Open-Source Projects
-
frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
You probably noticed that .SetName() returns a Either. You may have come across Unit in libraries like MediatR or Language-Ext. It's a simple construct representing a type with only one possible value. We use it as a placeholder for operations that do not return a value but may return another state. In our example, .SetName() is a Command that does not return a value but may fail. Therefore, the monad Either carries two possible states: Right (without value) or Left (with an Error).
So rust doesn't support variadics, but I have heard some murmurings around the topic. In the meantime, you can still do a lot with recursive tras. The frunk crate makes working with them a lot easier: In this case
Project mention: Fundamental Components of Deep Learning (category theory) [pdf] | news.ycombinator.com | 2024-03-13For those that don't know Bruno, he's one of the organizers for https://cats.for.ai/
He also maintains an "Awesome-$X" like Github page for ML and Category Theory: https://github.com/bgavran/Category_Theory_Machine_Learning
I have no association with him and I doubt he knows who I am. But I thought there is enough interest here in both ML and Category Theory that others might be interested in this.
Project mention: Deep Cloning Objects in JavaScript, the Modern Way | news.ycombinator.com | 2023-12-21Instead of the "deep path properties" syntax, you might want to take the opportunity to learn about functional lenses with monocle-ts
Project mention: Ask HN: Why isn't Phoenix/Elixir more mainstream? | news.ycombinator.com | 2023-09-29Some times I miss being able to do updates in the way you described.
Have you seen Pathex? https://github.com/hissssst/pathex
Lenses related posts
- Fundamental Components of Deep Learning (category theory) [pdf]
- Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory
- Ask HN: Why isn't Phoenix/Elixir more mainstream?
- I may have a crush on the TypeScript compiler, because of stuff like this
- Category Theory ∩ Machine Learning
- Category Theory ∩ Machine Learning
- Category Theory ∩ Machine Learning
-
A note from our sponsor - WorkOS
workos.com | 19 Apr 2024
Index
What are some of the best open-source Lense projects? This list will help you:
Project | Stars | |
---|---|---|
1 | language-ext | 6,150 |
2 | frunk | 1,197 |
3 | Category_Theory_Machine_Learning | 1,087 |
4 | monocle-ts | 1,016 |
5 | λ | 855 |
6 | FSharpPlus | 821 |
7 | Quicklens | 810 |
8 | focal | 720 |
9 | generic-records | 434 |
10 | DontFearTheProfunctorOptics | 409 |
11 | pathex | 317 |
12 | python-lenses | 294 |
13 | microlens | 284 |
14 | prolens | 74 |
15 | 3d_models | 50 |
16 | giphy-api | 27 |
17 | vitrea | 23 |
18 | lens-errors | 17 |
19 | concave | 13 |
20 | dynamic | 11 |
21 | haskell-time-range | 2 |
22 | polysemy-optics | 0 |