ezno
terminusdb
ezno | terminusdb | |
---|---|---|
8 | 51 | |
2,199 | 2,638 | |
- | 1.3% | |
8.3 | 8.9 | |
20 days ago | about 1 month ago | |
Rust | Prolog | |
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.
ezno
- Ezno's checker (Rust based type checker and compiler) is now open source
- Ezno's checker (a Javascript type checker and compiler written in Rust) is now open source
- Ezno: A TypeScript checker written in Rust
- Show HN: Ezno, a TypeScript checker written in Rust, is now open source
-
Ask HN: What is new in Algorithms / Data Structures these days?
> I'm curious if there are any practical reasons we don't see them implemented in more languages.
I believe it's because they're not exactly easy to implement and the resulting extensive type checking might also affect compiler performance.
By the way, another great example of refinement types (in JavaScript) is this one: https://kaleidawave.github.io/posts/introducing-ezno/
- Open sourcing Ezno – JavaScript compiler and TypeScript checker written in Rust
terminusdb
-
Ask HN: What is new in Algorithms / Data Structures these days?
How about some succinct data structures and delta encoding for modern databases [1]. Succinct data structures are a family of data structures which are close in size to the information theoretic minimum representation (while still being queryable).
[1] https://github.com/terminusdb/terminusdb/blob/dev/docs/white...
- TerminusDB v11 Released (temporal, Datalog graph DB
-
Datomic Is Now Free
There are already some open source alternatives to datomic. TerminusDB (https://github.com/terminusdb/terminusdb) for example is implemented in prolog (and Rust) so has the datalog variant query power that makes datomic so powerful. If you want free as in speech (thou I love free beer).
- Show HN: TerminusCMS – Headless CMS for Devs
-
Putting the Graph in GraphQL Query
You should try it out. You can either use TerminusDB by downloading it from our repositories, or you sign up for a free TerminusCMS account at dashboard.terminusdb.com.
-
Help with some python DB client installation errors please
Hey, I'm trying to install TerminusDB. They have the python client installation instructions here
-
Is there a terminusdb package?
Hi, I wanted to check if there's a NixOS package for TerminusDB
-
Rust Database - Ranking | OSS Insight
terminusdb
-
TerminusDB - Now with GraphQL
Head on over to GitHub for a full list of enhancements and bug fixes.
- TerminusDB Internals Part 2: Change Is Gonna Come
What are some alternatives?
highfleet-ship-opt - A c/c++ module and python extensions for automatic optimization of Highfleet ship modules. Try it live at https://hfopt.jodavaho.io
dolt - Dolt – Git for Data
stc - Speedy TypeScript type checker
datahike - A durable Datalog implementation adaptable for distribution.
rfcs - RFC process for Bytecode Alliance projects
nvim-treesitter-context - Show code context
flix - The Flix Programming Language
excel_as_code - Blog on excel as code
egglog - egraphs + datalog!
Papercups - Open-source live customer chat
clingo - 🤔 A grounder and solver for logic programs.
slowbug - Slowbug is a VS Code extension for debugging your code in slow-mo!