Search Results for "github-copilot"
Sort By:
Showing 47 open source projects for "github-copilot"
View related business solutions-
Forever Free Full-Stack Observability | Grafana CloudBuilt 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.
-
$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.
-
1
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear... -
2
Maxima -- GPL CAS based on DOE-MACSYMA
Computer Algebra System written in Common Lisp
...An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages -
3
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
4
Social Network Visualizer
Social Network Analysis and Visualization software
Visit our new site: http://socnetv.org Social Network Visualizer (SocNetV) is a social network analysis and visualization application. You can draw a social network (graph/digraph) or load an existing one (GraphML, UCINET, Pajek, etc), compute cohesion, centrality, community and structural equivalence metrics and apply various layout algorithms based on actor centrality or prestige scores (i.e. Eigenvector, Betweenness) or on dynamic models (i.e. Kamada-Kawai spring-embedder) -
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.
-
5
SGraph
Create charts by retrieving data from Stata on-the-fly
...SGraph is an open source project and you can download the code from the project web site web site or try the app on-line here: http://sgraph-with-swire.sourceforge.net/ The source project is hosted in GitHub: https://github.com/lomagno/sgraph -
6
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
7
...Features include: basic matrix operations, algorithms for solving Linear Equation Systems, inverting matrices, computing the determinant and the eigenvalues of a matrix. We have moved to Github: https://github.com/JLinAlg/JLinAlg
-
8
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. -
9
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
Combinatorial Game Suite
A computer algebra system for research in combinatorial game theory.
STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained. -
11
Jafama
A (Strict)FastMath class with 1e-15ish accuracy.
...It is a strictfp version of FastMath (and not a fast version of StrictMath): for a same version of this library, its methods always return a same result for same arguments, which might not be the case for FastMath depending on JIT or other JVM optimizations. Requires Java 5 or later. Available on Central since 2015/06/05. Also available on github since 2015/12/13: https://github.com/jeffhain/jafama -
12
wxMaxima
Cross platform GUI for Maxima
wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/ -
13
...It is small and simple to use but with much power and versatility underneath. Features include customizable functions, units, arbitrary precision, plotting, and a user-friendly interface (GTK+). Qalculate! has now moved to GitHub (https://github.com/Qalculate). Get the latest version from http://qalculate.github.io/downloads.html.
-
14
TILP - TI Linking Program
TI graphing calculators <-> computer communication software
...It works with all link cables (parallel, serial, Black/Gray/Silver/Direct Link) and it supports the TI-Z80 series (73..86), the TI-eZ80 series (83PCE, 84+CE), the TI-68k series (89, 92, 92+, V200, 89T) and the Nspire series (Nspire Clickpad / Touchpad / CX, both CAS and non-CAS). The project is now managed on Github, https://github.com/debrouxl/tilp_and_gfm . It uses the libti* libraries, https://github.com/debrouxl/tilibs . Install script for *nix: https://github.com/debrouxl/tilp_and_gfm/blob/master/tilp/trunk/build/scripts/install_tilp.sh -
15
Soduku-Solver
Soduku Solver solves 6x6 soduku of easy and medium level.
Soduku solver V 1.0 is Open Source project which solves the 6x6 Soduku problem of easy and medium level. It is a Open Source project which is available in github repository and this project welcome each contributor which helps to make this project better. Keywords : soduku solver , solve the soduku , soduku 6*6 , soduku 6x6 , solve my soduku problem , amazing software , artificial intelligence , best software , top software -
16
Jafaran
Fast and more random implementations of java.util.Random.
...Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm. -
17
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. -
18
**we moved to github** https://github.com/gimli-org/gimli Geophysical Inversion and Modeling Library
-
19
GeoPDEs
A package for Isogeometric Analysis in Octave and Matlab
GeoPDEs is a suite of software tools for research on Isogeometric Analysis of PDEs. GeoPDEs is free software implemented in Octave and fully compatible with Matlab. GeoPDEs is no longer developed at SF, and has moved to GitHub. Please visit http://rafavzqz.github.io/geopdes/ The mailing list will remain active. Releases up to 2.0.4 can be found here. From version 2.1.0 onward, see https://github.com/rafavzqz/geopdes -
20
GADfit
Global nonlinear optimization with automatic differentiation
NOTE: Development continued at GitHub! Current version is higher than 1.2.0. GADfit is a Fortran implementation of global nonlinear curve fitting, based on a modified Levenberg-Marquardt algorithm. Global fitting refers to fitting many datasets simultaneously with some parameters shared among the datasets. The fitting procedure is very fast and accurate thanks to the use of automatic differentiation. -
21
Moved to GitHub. This is the old, unmaintained source code. https://github.com/zet-evacuation A tool to model and simulate evacuation situations in buildings using flows on graphs and cellular automatons. It allows visualization of both models in OpenGL.
-
22
YAGY
Computer calculations made easy
Yagy is a (yet another) Graphical user interface for Yacas, a (yet another) Computer Algebra System. NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. -
23
libsharp
Library for spherical harmonic transforms (SHT)
NOTE: as of April 24, 2015, libsharp development has moved to Github (https://github.com/dagss/libsharp). Libsharp is a collection of algorithms for efficient conversion between maps on the sphere and their spherical harmonic coefficients. It supports a wide range of pixelisations (including HEALPix, GLESP, and ECP). This library is a successor of libpsht (http://sourceforge.net/projects/libpsht). -
24
matGeom
Library for 2D/3D geometry in Matlab.
Geometry library for Matlab in 2D and 3D. Contains function for creation and manipulation of basic shapes, computing intersections, transformation, display... The project is being moved to GitHub: http://github.com/dlegland/matGeom -
25
matImage
An image processing and analysis library for Matlab
...It contains more than 250 fonctions for image enhancement, filtering, analysis, or visualisation, as well as for creating basic test shapes. It is built as a complement of the Mathworks image processing toolbox (IPT). Project is being transfered to GitHub: http://github.com/dlegland/matImage
