meta-typing
umbrella
meta-typing | umbrella | |
---|---|---|
7 | 4 | |
1,523 | 3,213 | |
- | 0.7% | |
0.0 | 9.9 | |
over 1 year ago | 6 days ago | |
TypeScript | TypeScript | |
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.
meta-typing
-
Functions and algorithms implemented purely with TypeScript's type system
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
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
Here's another repository demonstrating functions and algorithms implemented solely using TypeScript's type system: https://github.com/ronami/meta-typing
umbrella
- I made a typescript library similar to Immer but ~20 times faster and with zero-runtime freezing
-
Image from my current generative art project "Harmonium"
OP here. This project is implemented in Typescript and Svelte, with support from the thi.ng libraries.
-
Ask HN: What was the biggest contributor to your happiness in the past year?
This a is a really wide field. Basically its starts with one of the standard algorithms, like and l-system, a voronoi diagram, or simple combination of sin and cos to draw shapes. Have a look at thi-ng[1], just as example for a library that has implemented a lot of this kind of algorithms. The next step in my process is to think about how to destroy this forms as most of them are used a lot in this field and become boring. Using perlin noise as input to arguments of the algorithms is one way to do this. The other part is to make most all of the input variables easily changeable as most of the time the whole process is like writing the program and then spend a lot of time adapt the parameters until you get some interesting output. So in the end I have a small Svelte app, using Svelte only cause the data binding for the inputs so simple, which has tons of sliders that renders an SVG that can be saved in the end.
[1]https://github.com/thi-ng/umbrella
-
Timeflake: 128-bit, roughly-ordered, URL-safe UUIDs
@thi.ng/ksuid https://github.com/thi-ng/umbrella/tree/develop/packages/ksu...
What are some alternatives?
type-challenges - Collection of TypeScript type challenges with online judge
webhl - WebHL is a fork of hlviewer.js that uses the File System Access API to load game assets direct from your computer rather than from a server.
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
Pomelo.EntityFrameworkCore.MySql - Entity Framework Core provider for MySQL and MariaDB built on top of MySqlConnector
remeda - A utility library for JavaScript and TypeScript.
mynode - The easiest way to run Bitcoin and Lightning!
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
kafka-ui - Open-Source Web UI for Apache Kafka Management
type-level-sort - im so smart please hire me
client-zip - A client-side streaming ZIP generator
hkt-toolbelt - ✨Functional and composable type utilities
timeflake - Timeflake is a 128-bit, roughly-ordered, URL-safe UUID.