timefold-solver
trustfall
timefold-solver | trustfall | |
---|---|---|
10 | 24 | |
670 | 2,280 | |
6.6% | - | |
9.7 | 9.2 | |
7 days ago | 9 days ago | |
Java | Rust | |
Apache License 2.0 | 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.
timefold-solver
-
Planner programming blows my mind
Are the commercial offerings you mentioned better than TimeFold? [0] (formerly known as OptaPlanner before the main developers forked it)
TimeFold's heuristics-based approach makes fast solutions to even highly-complex scenarios within the reach of anyone who can write Java expressions that evaluate to true when constraints are satisfied.
[0] https://timefold.ai/
-
jsprit VS timefold-solver - a user suggested alternative
2 projects | 4 Jan 2024
Timefold is an open source solver that is often used for vehicle routing optimization.
-
pulp VS timefold-solver - a user suggested alternative
2 projects | 4 Jan 2024
Timefold is an open source solver.
-
pyomo VS timefold-solver - a user suggested alternative
2 projects | 4 Jan 2024
Timefold is an open source solver.
-
or-tools VS timefold-solver - a user suggested alternative
2 projects | 4 Jan 2024
Timefold is an open source solver.
- Free Staff Rostering Software
- OG OptaPlanner team continues on Timefoldfold Solver 1.1 is out now
-
Searching for Shift-planning web-based solution
https://timefold.ai/ (Was optaplanner)
-
OptaPlanner VS timefold-solver - a user suggested alternative
2 projects | 23 Jun 2023
Timefold is the fork of OptaPlanner by its creators and other experts.
-
Resource Scheduling
Timefold is the open source AI solver to optimize operational planning and scheduling in Java, Python or Kotlin code. Use case include Field Service Technician routing, Last Mile Delivery, Employee Scheduling, Maintenance Scheduling, the Vehicle Routing Problem and other planning problems. Timefold is a fork of OptaPlanner by its creator and other experts.
trustfall
-
Planner programming blows my mind
Pleasantly surprised to see Predrag show up as a reviewer, but at the same time not at all surprised:
- The [Firebase technical screen](https://startupandrew.com/posts/how-firebase-interviewed-sof...) would have been much easier with something like this, as it was Just Another Optimization Problem™. Part of me wants to try it again with Picat!
- He's doing other very interesting things with programming languages, e.g.: https://github.com/obi1kenobi/trustfall
-
Ask HN: Who wants to be hired? (December 2023)
Email: [email protected]
Hi, I'm u9g. I'm looking for an internship for either this winter (in a few weeks) or a summer internship!
Some things I've done:
I integrated a [query engine for lints](https://github.com/obi1kenobi/trustfall) (and contributed optimizations) into [OXC](https://github.com/oxc-project/oxc) (a new Rust-based Javascript Linter).
I wrote [several](https://github.com/u9g/money-lens) [toy](https://github.com/u9g/quickquestion/tree/main/extension) languages and syntax highlighting for them.
I also wrote a [js-to-scheme transpiler](https://github.com/u9g/js2scheme/blob/main/example.js).
Happy to work on things compiler or database oriented, but also happy to learn something new!
-
Semver violations are common, better tooling is the answer
If you'd like to dig deeper, here are some links:
- cargo-semver-checks: https://github.com/obi1kenobi/cargo-semver-checks
- Trustfall query engine, which powers cargo-semver-checks: https://github.com/obi1kenobi/trustfall
- Trustfall playground, where you can query Rust library APIs in your browser -- for example, "which structs in `itertools` are importable by more than one path": https://play.predr.ag/rustdoc#?f=2&q=*3-Structs-importable-f...
- 10min conference talk on Trustfall: https://www.hytradboi.com/2022/how-to-query-almost-everythin...
I'm also giving a talk at P99 CONF in a few months about how Trustfall's new optimizations API made cargo-semver-checks over 2300x faster: https://twitter.com/PredragGruevski/status/16893002495908003...
-
Cargo-semver-checks: Scan your Rust crate for semver violations
No worries!
Trustfall is even more general than semver actually, one can use it to query any data source -- even HN itself:
https://play.predr.ag/HackerNews
Here's a link to that project if you'd like to check it out:
https://github.com/obi1kenobi/trustfall
I gave a 10min conference talk on it last year titled "How to query (almost) everything"
https://www.hytradboi.com/2022/how-to-query-almost-everythin...
-
We created Taxi, and why we felt the need for Another Schema Language
I've had my eye on Taxi for a while, and it's neat! I agree that the problems it aims to solve are real and painful in real life.
In my experience, I'm not sure people care about schemas or schema languages — they are just implementation details best left under the hood. This is why in my own work, I started on the query end of the spectrum instead.
This is why I built Trustfall, a query engine able to query any data source: DBs, APIs, files like PDF, CSV, or JSON, or any combination of those.
GitHub: https://github.com/obi1kenobi/trustfall
Playground showing the query "which GitHub/Twitter users comment on HackerNews stories about OpenAI?": https://play.predr.ag/hackernews#?f=1&q=IyBDcm9zcyBBUEkgcXVl...
- cargo-semver-checks v0.20 and Trustfall v0.4 released — semver-check up to 2354x faster
- DuckDB: Querying JSON files as if they were tables
-
Speeding up Rust semver-checking by over 2000x
Here's an example adapter for querying RSS/Atom feeds. Here's an example adapter for querying the HackerNews APIs. Both projects also include a schema and example queries which you can run.
- Trustfall: How to Query (Almost) Everything
What are some alternatives?
Choco - An open-source Java library for Constraint Programming
postgrest - REST API for any Postgres database
jsprit - jsprit is a java based, open source toolkit for solving rich vehicle routing problems
cargo-semver-checks-action - A GitHub Action for running cargo-semver-checks
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
join-monster - A GraphQL to SQL query execution layer for query planning and batch data fetching.
pyomo - An object-oriented algebraic modeling language in Python for structured optimization problems.
graphql-java - GraphQL Java implementation
app - Repository for the last open source version of Booked Scheduler. The "develop" branch contains the most current working code of the project and should be considered beta. The "master" branch is the most current stable release of BookedScheduler. Please read doc/README.md for further details.
dgs-framework - [Moved to: https://github.com/Netflix/dgs-framework]
optapy - OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.
genql - Type safe TypeScript client for any GraphQL API