proxy-lens vs meta-typing

proxy-lens

A type safe functional lens implemented via proxy (by aynik)

Source Code

Suggest alternative

Edit details

meta-typing

📚 Functions and algorithms implemented purely with TypeScript's type system (by ronami)

TypeScript Recursion Example Algorithms Learning Functional Type System

Source Code

Suggest alternative

Edit details

Our great sponsors

SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App

WorkOS - The modern identity platform for B2B SaaS

InfluxDB - Power Real-Time Data Analytics at Scale

Our great sponsors

proxy-lens		meta-typing
	Project
2	Mentions	7
2	Stars	1,523
-	Growth	-
0.0	Activity	0.0
about 1 year ago	Latest Commit	over 1 year ago
TypeScript	Language	TypeScript
MIT License	License	MIT License

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

proxy-lens

Posts with mentions or reviews of proxy-lens. We have used some of these posts to build our list of alternatives and similar projects.

Show HN: A tiny type safe functional lenses library for TypeScript using proxies
1 project | news.ycombinator.com | 17 Aug 2021
Made a tiny type safe lens library
1 project | /r/npm | 5 Aug 2021

meta-typing

Posts with mentions or reviews of meta-typing. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-04.

Functions and algorithms implemented purely with TypeScript's type system
1 project | /r/patient_hackernews | 5 Jul 2023

1 project | /r/hackernews | 5 Jul 2023

1 project | /r/hypeurls | 4 Jul 2023

9 projects | news.ycombinator.com | 4 Jul 2023

Looks like the arithmetic only supports integers 0 through 10
https://github.com/ronami/meta-typing/blob/master/src/utils/...
Type-level Bubble Sort in Rust: Part 2
4 projects | dev.to | 16 Mar 2022

A much more practically useful type-level programming in Rust A macro to define type-level logic with value-level syntax in Rust Type-level Brainfuck in Rust "Gentle Intro to Type-level Recursion in Rust" Type-level registers in Rust Type-level quicksort in Scala" Type-level sorting algorithms in Haskell A repo with functions and algorithms implemented purely on types in TypeScript
TypeScripts Type System is Turing Complete
2 projects | /r/programming | 18 Apr 2021

Here's another repository demonstrating functions and algorithms implemented solely using TypeScript's type system: https://github.com/ronami/meta-typing

What are some alternatives?

When comparing proxy-lens and meta-typing you can also consider the following projects:

remeda - A utility library for JavaScript and TypeScript.

type-challenges - Collection of TypeScript type challenges with online judge

tonal - A functional music theory library for Javascript

TypeGame - 👾 Sokoban Game in Pure TypeScript Type System

TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

type-level-sort - im so smart please hire me

hkt-toolbelt - ✨Functional and composable type utilities

tyrade - A pure functional language for type-level programming in Rust

typescript-transformer-handbook - 📘 A comprehensive handbook on how to create transformers for TypeScript with code examples

metabase-school - A Metabase-integrated, real-time collaborative tool for writing SQL

umbrella - ⛱ Broadly scoped ecosystem & mono-repository of 192 TypeScript projects (and 157 examples) for general purpose, functional, data driven development