tylr
manifold
tylr | manifold | |
---|---|---|
5 | 79 | |
263 | 2,226 | |
1.1% | 2.0% | |
0.0 | 9.3 | |
6 days ago | 1 day ago | |
Reason | Java | |
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.
tylr
- Tylr.fun
-
Implementing Interactive Languages
Not directly related, but this made me think of something I've been interested in recently - structured editors. Instead of tokenizing text and then parsing to an AST, you effectively edit the AST directly.
Since the thrust of the post seems to be about the sum of compilation + run time, it's a potentially more efficient alternative to traditional code editing. Here's an example of one in action:
https://tylr.fun/
-
An apology for "Emacs is Not Enough" (no)
BTW, speaking of infix, there's this pretty cool demo from some research project (not by me): https://tylr.fun/
-
Project Mage is an effort to build a power-user environment in Common Lisp
> eco
The eco article is quite interesting, it's a cool proof-of-concept. I don't know exactly how it compares, but there's also tylr, with an online demo you can check out [1].
> The example of splitting "Hello world" into a list of words is a pretty bad example;
I just wanted to set up some very quick easy-to grasp context with it for the discussion that follows. You are right, of course, the normal editors don't have much trouble with that level of detail. Maybe I will come up with something better later on, though not too complex...
> I'm currently working on knowledge management, which I think you have to split in different subfields;
My view on this is that you can't generally predict that, but what you can do instead is let the user compose the structure and features of custom documents, thus creating custom workflows suitable for the task at hand, whatever it may be. I will be generally taking that approach with Kraken.
> literate programming
I think computational notebooks take the core idea and make it practical, and I think it's fair to say those are literate programs, albeit without the web-tangle aspect.
> Again, good luck etc.
Hey, thanks for the feedback!
[1] https://tylr.fun/
- tylr, a tiny tile-based structure editor
manifold
- Show HN: Ditch your ORM with type-safe native SQL
- Show HN: Traits for Java via True Delegation
- Show HN: Automatic Type-Safe CSV
- Show HN: Htmx with ManTL Templates
- Type-safely embed SQL directly into Java
-
Universal Domain Types
Considering the Amount domain types, I like the manifold project’s unit expression[1] approach where the unit and domain type are integrated and always reconciled.
1. https://github.com/manifold-systems/manifold/tree/master/man...
-
Javalin – a simple web framework for Java and Kotlin
> I am glad to see a project that provides a robust and elegant API for building rest services in Java.
Alternatives for _consuming_ REST services is perhaps an equally interesting proposition, particularly since there are potentially potentially many consumers per service e.g., the manifold JSON project[1].
Other areas where Springboot feels overbearing include JPA/ORM support. In my view this is its greatest weakness, but like the "no one ever got fired for buying IBM" cliche, the same can be said today about Springboot.
1. https://github.com/manifold-systems/manifold/blob/master/man...
- Show HN: I made Java look better than it deserves
- True Delegation vs. Forwarding
What are some alternatives?
fullstack-reason - A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp
Lombok - Very spicy additions to the Java programming language.
ocaml_webapp - A minimal example of a lightweight webapp in OCaml
graphql-java - GraphQL Java implementation
styled-ppx - Type-safe styled components for ReScript, Melange and native with type-safe CSS
Kotlin-Compiler-Crash-Course - A repository of helpful sources to figure out what the Kotlin compiler really is
logseq - A local-first, non-linear, outliner notebook for organizing and sharing your personal knowledge base. Use it to organize your todo list, to write your journals, or to record your unique life.
java-oo - Java Operator Overloading
oni2 - Native, lightweight modal code editor
create-rust-app - Set up a modern rust+react web app by running one command.
query-json - Faster, simpler and more portable implementation of `jq` in Reason
factor - Factor programming language