nus-timetable-optimizer VS stainless

Compare nus-timetable-optimizer vs stainless and see what are their differences.

nus-timetable-optimizer

Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking. (by frizensami)
Z3 SMT timetable nusmods
Source Code
nus-optimizer.com
Suggest alternative
Edit details

stainless

Verification framework and tool for higher-order Scala programs (by epfl-lara)
Verification Scala Formal Methods SMT inox Leon Z3 cvc4
Source Code
epfl-lara.github.io
Suggest alternative
Edit details
SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
surveyjs.io
featured
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
nus-timetable-optimizer stainless
4 3
18 346
- 0.3%
3.9 8.2
4 months ago 3 days ago
JavaScript HTML
MIT License Apache License 2.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

nus-timetable-optimizer

Posts with mentions or reviews of nus-timetable-optimizer. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-04.

stainless

Posts with mentions or reviews of stainless. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-02.

What are some alternatives?

When comparing nus-timetable-optimizer and stainless you can also consider the following projects:

NewForestRouteV3 - A steam era route for Open Rails Train Simulator. Features the Bournemouth UK line timetable

sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.

nusmods - 🏫 Official course planning platform for National University of Singapore.

z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver

intro-cats-effect - Slides and video recording for my "Intro to Cats-Effect" talk

docs.scala-lang - The Scala Documentation website

refined - Refinement types for Scala

scalable-data-science - Scalable Data Science, course sets in big data Using Apache Spark over databricks and their mathematical, statistical and computational foundations using SageMath.

manticore - Symbolic execution tool

foundations - Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.

iron - Strong type constraints for Scala

nus-timetable-optimizer vs NewForestRouteV3 stainless vs sbvPlugin nus-timetable-optimizer vs nusmods stainless vs z3_tutorial stainless vs intro-cats-effect stainless vs docs.scala-lang stainless vs refined stainless vs scalable-data-science stainless vs manticore stainless vs foundations stainless vs iron