Search Results for "formula 1"
Sort By:
Showing 7 open source projects for "formula 1"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
f1classics
Classic F1 (era 50s-80s)
Classic Formula 1 data project, using Java / JavaFX 8+, Spring Boot, Hibernate, FlyWay etc. -
2
Logic Calculator
A Calculator to perform logical operations
The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions... -
3
JReportIt
JReportIt is a Java database reporting tool.
Use as a standalone program or as reporting tool in your Java program. Visually design report templates. Use subreports. Choose from several field types: Static, Database, Formula, Pre-defined, Calculated, External, and Subreport. Print multiple pages on one form. Decorate the report with borders, colors, images, and different font styles. Save data with the report. Dynamically create data using formulas. Leverage power of Python/Jython for formula fields. Since reports are saved using XML, you can tweak reports using scripts - useful for mass change. ... -
4
SportScores
LiveScores android app
Live Scoring app for android. Idea of app is to expand it to big variety of different sports live scoring in easy and comfortable way. -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
Betty is a versatile and configurable betting Web site that you can install in your own network. It enables you to make friendly bets / forecasts between colleagues or friends. Current championships: RBS 6 Nations Rugby 2009, FIA Formula 1 2009.
-
6
-
7
This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.
- Previous
- You're on page 1
- Next
