Showing 66 open source projects for "open-source tax solver"

View related business solutions
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    Tetris Puzzle Solver

    Tetris Puzzle Solver

    Fills a rectangle using given tetris shapes

    Fills a rectangle using given tetris shapes (tetraminos) using an optimized brute force algorithm. A puzzle can have many different solutions; this solver will stop at the first one. Not all puzzles are solveable. Created to solve the annoying tetris puzzles in The Talos Principle and Sigils of Elohim.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    JPOSBr

    JavaPOS implementation and more, for Brazilian Retail applications

    jPOSBr has a collection of JAR files that can help you with tasks such as: - Text files creation for the tax authorities (SPED, Sintegra, PAF, etc.) - Communication with business automation equipments, using JavaPOS standard - Issue Slips Bank - Electronic Invoice (NFE) and Electronic Fiscal Coupon (SAT / NFCe)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    GSS Engine

    GSS Engine

    GSS engine

    GSS is a JavaScript layout engine based on Grid Style Sheets (constraint CSS) using Cassowary constraint solver. It enables declarative relational layouts—expressing 'item A aligned to the right of item B'—and compiles these constraints into standard styles at runtime or build-time. Though experimental and labeled unstable, it showcases advanced layout paradigms beyond traditional CSS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    dep-trace

    gdeptrace dependancy solver correct for pkg or make deps

    ...EXAMPLE: $ echo -e "b e\ne\nc b" | sort -k1,1 | gdeptrace [opts] e b c (b depends on e, c depends on b, e has no depends) (also: e has more items depending on it and is below anything it depends on; in this case the top, all and only by the rules known and given, in order by given where equal) $ echo -e "b e\ne\nc b" | depsort ditto, no opts needed $ libdeps objdump /lib/*.so.* (outputs if missing, load order (deps), rdeps, which are effected by missing lib/s, etc, see readme) $ doil (a package installer/solver like apt-get+dpkg which uses gdeptrace, see doil on Source Forge) dep-trace is now "gdeptrace" to ease packaging compatibility
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    DisChoco

    DisChoco

    DisChoco: Distributed Constraint Reasoning Solver

    DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    EasyCP

    The easiest C++ way to deal with constraints !

    EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    Dantzig-Wolfe Solver

    An implementation of Dantzig-Wolfe decomposition built upon GLPK

    An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 10
    * Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    sudoku Solver

    sudoku Solver

    A sudoku solver project built with Java with a user friendly interface

    This project has been built to allow you solve any Sudoku problem in no time. The project built using Java programming language. It`s simple interface built using Swing technology. A smart algorithm has been designed to solve your problem. First, using the systematic human way of solving. If the human failed to solve, your problem will be passed to a stronger algorithm that based on Try and Fail techniques and possibilities. Enjoy, learn and develop. You need to install Java JRE to run the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    Zero Sum Game Solver JavaScript Library

    Zero Sum Game Solver JavaScript Library

    Zero Sum Game Solver JavaScript Library
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    scd_EUgran

    EUgran solver for OpenFoam with new Boundary Conditions.

    In the spirit of open source software, feel free to use the code for the boundary conditions. We have tested it last year for the simulation of fluidized beds. It is an extension of the standard twoPhaseEulerFoam. It includes J&J BC's and the newer BC's for the solid phase of Schneiderbauer et. al., which are a modification of the work of Jenkins and decide between sliding and non-sliding particle-wall collisions. Additionally the computation of the solids pressure is changed to the newest...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Zero Sum Game Solver Java Library

    Zero Sum Game Solver Java Library

    Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Equals Checker
    A static checker that model checks the implementation of equality for an Eclipse Java Project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This is a Su-do-ku game solver and player. It generates a complete Sudoku.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A Simple console-based Sudoku Solver.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Genetic Algorithm General Solver-GAGENES

    Genetic algorithms (GA) in C++

    NOTE: Project has been delayed due to other tasks. Genetic Algorithms General Solver (GAGENES) is a C++ implementation of the genetic algorithm concept.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A branch-and-prune method to find all solutions to systems of nonlinear equations. The number of variables must equal the number of equations. The variables must have proper lower and upper bounds. The solver has an interface to the AMPL environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The SBML ODE Solver is a command-line tool and programming library (ISO/ANSI C) for construction and numerical integration of an ODE system, derived from an SBML based description of a biochemical reaction network. Development has moved to https://github.com/raim/SBML_odeSolver . Please download the latest version from there!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    A simple command line tool for solving the triangular peg solitaire game, like the one at Cracker Barrel. Also has a few other features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    kuhn_munkres
    Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MicroPather is a path finder and A* solver (astar or a-star) written in platform independent C++ that can be easily integrated into existing code. MicroPather focuses on being a path finding engine for video games but is a generic A* solver.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB