typical
unseemly
| typical | unseemly | |
|---|---|---|
| 13 | 4 | |
| 552 | 128 | |
| - | - | |
| 7.3 | 0.0 | |
| 26 days ago | about 1 year ago | |
| Rust | Rust | |
| GNU General Public License v3.0 or later | 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.
typical
-
Typical: Data interchange with algebraic data types
Yes! We have comprehensive integration tests that run in the browser to ensure the generated code only uses browser-compatible APIs. Also, the generated code never uses reflection or dynamic code evaluation, so it works in Content Security Policy-restricted environments.
See this section of the README for more info: https://github.com/stepchowfun/typical#javascript-and-typesc...
- GitHub - stepchowfun/typical: Data interchange with algebraic data types. "can be compared to Protocol Buffers and Apache Thrift. ... emphasizing a safer programming style with non-nullable types and exhaustive pattern matching."
-
Universal type language!
Protocol Buffers is the most popular one, but there are many others such as Apache Thrift and my own Typical.
-
Syntax for defining algebraic data types
Typical uses the terms "struct" and "choice" for products and sums, respectively, although it's not a programming language.
-
Download source for all crates that depend on a specific crate?
Yeah fair. I was thinking you could scrape that page with something like scraper.
- Typical Rusty: data interchange with algebraic data types
unseemly
-
Peridot: A functional language based on two-level type theory
Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer
-
How do you typecheck a macro?
You could look at how https://github.com/paulstansifer/unseemly/ does it
-
Are there composable compilers?
Other projects not mentioned yet in this area are GraalVM and unseemly by Paul Stansifer https://github.com/paulstansifer/unseemly
- Thoughts on "Kirby" languages, a lang that can execute any other lang?
What are some alternatives?
Killed by Google - Part guillotine, part graveyard for Google's doomed apps, services, and hardware.
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
rkyv - Zero-copy deserialization framework for Rust
bitflags - A macro to generate structures which behave like bitflags
website - Official dahliaOS website
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
dhall-lang - Maintainable configuration files
bril - an educational compiler intermediate representation
rust-protobuf - Rust implementation of Google protocol buffers
hackett - WIP implementation of a Haskell-like Lisp in Racket
dimensioned - Compile-time dimensional analysis for various unit systems using Rust's type system.
dit-cli - The interface for dit, a universal container file.