Search Results for "linux .deb files"
Sort By:
Showing 17 open source projects for "linux .deb files"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
2
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how... -
3
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
4
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on... -
QuickFee offers payments, financing, and billing automation for professional service firms.QuickFee offers online payments and e-invoicing options designed to help accounting and law firms reduce their aging receivables. (So you can finally stop chasing down payments and processing checks.)
-
5
binary Turing Machine
A Turing Machine Simulator
Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available) -
6
HMMLab
A Hidden Markov Model editor with support to HTK
HMMLab is a Hidden Markov Model editor oriented on HMMs for speach recognition. It can create, edit, train and visualize HMMs. HMMLab supports loading/saving HMMs from/to HTK files. -
7
PyPedal is a Python module that provides tools for the manipulation of pedigrees, simple visualization of pedigrees, and the calculation of measures of genetic diversity from pedigrees.
-
8
Noisy Channel Simulator
Demonstrate errors in transmission of a file over a noisy channel.
This program was written to dimonstrate errors in transmission for a presentation on Claude Shannon's Noisy Channel Coding Theorem. It takes an input file, the probability of a bit being flipped, and, if specified, the size of the header of the file. The program was intended to take monochrome bitmap files as input, so that each bit refers to a pixel in the image and thus, it would be easy to see errors in the output file, as some of the pixels would be flipped; however, it will work on any... -
9
A set of Unix command line tools for quick and convenient batch processing of tabular text files (a.k.a., tab-delimited, csv, or flat file format) with a header line. Provides delimiter and compression detection, column reference by name. * tblmap: per-line ("map") computation: derive columns through an expression, delete, reorder, filter rows. * tblred: compute ("reduce") aggregations (e.g., sum, average) over groups defined by key columns. * tbldesc: Summarize columns in file...
-
All-in-one Home Care Management System designed to improve efficiency, productivity, capacity, and compliance.CareLineLive is an all-in-one cloud-based home care management software founded in 2014 by Josh Hough, who serves as Managing Director. The company is part of MAS Technicae Group and received majority investment from Accel-KKR in June 2025.
-
10
Educative desktop application that it's main goal is develop any kind of mathematical operation in an easy and quick way. It's focus to users that don't have programming knowledge.
-
11
snlanalytic is a small Python script that takes a stem-and-leaf plot as input and returns basic statistics (sum, mean, median, mode) to the user.
-
12
Python program for fitting rate constants to primarily kinetic data as 1st or 2nd order kinetics or autocatalysis. It also allows specific noise cancelling, data smoothing by fourrier transform, box averaging and flowing mean. For Python 2.6 or earlier.
-
13
PuLP: An LP modeller in Python PuLP is an LP modeller written in python. PuLP can generate MPS or LP files and call GLPK, COIN CLP/CBC, CPLEX and XPRESS to solve linear problems.
-
14
TaDaPro is a command-line utility to operate with numerical column tabulated data. It is intended for operations that are cumbersome to do by hand in a spreadsheet, and for transformations that have to be applied as a batch process on many files.
-
15
MathBench
A Python IDE optimized for scripting and easy access to documentation.
Not a whole lab, just a small bench ! **Feel free to contact me via https://sourceforge.net/sendmessage.php?touser=1865508 if you want to take over this project** Mathbench is intended for the development of short scripts such as those daily used when doing research in applied mathematics and physics. Simple widgets and a strong plugin system make it useful and extensible. ANNOUCEMENT: Mathbench's purpose is still relevant and could also benefit from the latest improvements of... -
16
PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.
-
17
Function graph drawing/rendering application for use with audio applications. Exports .wav files. Dependencies: wxPython & Numeric(not in 1.10)
- Previous
- You're on page 1
- Next
