Search Results for "computer-aided software engineering"
Sort By:
Showing 10 open source projects for "computer-aided software engineering"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for... -
2
AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero
Beyond its much publicized success in attaining superhuman level at games such as Chess and Go, DeepMind's AlphaZero algorithm illustrates a more general methodology of combining learning and search to explore large combinatorial spaces effectively. We believe that this methodology can have exciting applications in many different research areas. Because AlphaZero is resource-hungry, successful open-source implementations (such as Leela Zero) are written in low-level languages (such as C++)... -
3
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
SymbolicUtils is a practical symbolic programming utility in Julia. It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. If you want to build a crazy CAS for your weird Octonian algebras, you've come to the right... -
4
PromptingTools.jl
Streamline your life using PromptingTools.jl
PromptingTools.jl is a Julia-based toolkit designed to simplify prompt engineering and unify interactions with multiple large language model providers through a consistent interface. It focuses on reducing the complexity of prompt creation by introducing templating systems, macros, and reusable functions that standardize how prompts are constructed and executed. The library provides a family of ai* functions that handle tasks such as generation, embeddings, classification, and data... -
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
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
6
Knet
Koç University deep learning framework
Knet.jl is a deep learning package implemented in Julia, so you should be able to run it on any machine that can run Julia. It has been extensively tested on Linux machines with NVIDIA GPUs and CUDA libraries, and it has been reported to work on OSX and Windows. If you would like to try it on your own computer, please follow the instructions on Installation. If you would like to try working with a GPU and do not have access to one, take a look at Using Amazon AWS or Using Microsoft Azure. If... -
7
Flux3D.jl
3D computer vision library in Julia
Flux3D.jl is a 3D vision library, written completely in Julia. This package utilizes Flux.jl and Zygote.jl as its building blocks for training 3D vision models and for supporting differentiation. This package also have support of CUDA GPU acceleration with CUDA.jl. -
8
Pythonidae
Curated decibans of scientific programming resources in Python
Pythonidae is a curated collection of scientific programming resources in Python, designed to support research and development across a wide range of disciplines. The repository organizes tools and libraries into domain-specific categories, including mathematics, statistics, machine learning, artificial intelligence, biology, chemistry, physics, earth sciences, and supercomputing. It also covers practical areas such as build automation, databases, APIs, computer graphics, and utilities,... -
9
Chess.jl
Julia chess programming library
A Julia chess programming library. This package contains various utilities for computer chess programming. There are functions for creating and manipulating chess games, chess positions and sets of squares on the board, for reading and writing chess games in the popular PGN format (including support for comments and variations), for creating opening trees, and for interacting with UCI chess engines. The library was designed for the purpose of doing machine learning experiments in computer chess, but it should also be suitable for most other types of chess software. -
$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.
-
10
SLM-Topo
Topology optimisation designed for laser based additive manufacturing
In the selective laser melting process (SLM), components are built up layer by layer by incremental melting of metal powder with a laser beam. This process leads to locally inhomogeneous material properties of the manufactured components. By integrating these specific material properties of the SLM-process into a topology optimization, product developers can be supported in the design process by simulation. For this purpose, a topology optimization method is being developed which takes into...
- Previous
- You're on page 1
- Next