Search Results for "linux operating systems" - Page 59
Sort By:
Showing 1503 open source projects for "linux operating systems"
View related business solutions-
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.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
-
2
This project aims to create a block oriented visual workbench for general purpose systems modelling and simulation. In the first milestone, we`ll build a simple GUI and the basic blocks to model neural network training and internetwork topologies.
-
3
This is a Java Email client for academic purpose. It will include the general email client features and other experimental techniques such as uncertain reasoning, HCI principles. This project is not supported now.
-
4
Leo is a project to provide an architecture for defining XML specifications of grammars for different natural language parsing systems and tools for using that architecture to permit sharing of grammar resources across different systems.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
A correlation detector that uses common sens. It can be used to derive information from log files for instance. It searches for the trigger and initial conditions of a user defined event. A sub-module of this project (called upamaana) can also be used as
-
6
-
7
Virtual machine/emulator; "holding pen" for self-replicating programs written in custom RISC assembly-like language, evolving via random point mutations and periodic fitness-based cullings. Inspired (like Avida) by Thomas Ray's alife simulator, Tierra
-
8
-
9
Easy to use neural network library in C++, to build networks with arbitrary (acyclic) topologies, both regular and recurrent (for data structures).
-
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.
-
10
Project in Artificial Intelligence Research. PAIR is a dynamic project of great proportions. We wish to, in general teach the legion of curious programmers the thrill and wonder of creating artificial intelligence systems.
-
11
This is one approach to implementing the ideas discussed as the Public Domain Knowledge Base. Originally coded by Stephen Reed before joining Cycorp and currently maintained by Vic Bancroft. The next release with contributions made here will be versio
-
12
-
13
Lightweigh framework to create expert systems, written in Perl. INFeReNCZy is an approach to Artificial Intelligence and Knowledge Base Systems. With only a few simple perl modules, INFeReNCZy gives the oportunity to develop and run rulesets.
-
14
-
15
An artificial life (a field in artificial intelligence) implementation using GNOME as its front end. It uses some principals of Cellular Automata. It's like "Conway's Game of Life' but with a totally different ruleset. It's a fun simulation - check it out
-
16
Nemotron 3 Super
Open language model developed by NVIDIA as part of Nemotron-3 family
NVIDIA-Nemotron-3-Super-120B-A12B-FP8 is a large-scale open language model developed by NVIDIA as part of the Nemotron-3 family of generative AI systems designed for advanced reasoning, conversational interaction, and agent-based workflows. The model contains approximately 120 billion parameters, but employs a Mixture-of-Experts architecture that activates only a smaller subset of parameters during inference, improving computational efficiency while maintaining high capability. Its... -
17
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction... -
18
Nemotron 3 Nano
LL model providing reasoning and conversational capabilities
NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 is a mid-sized open large language model created by NVIDIA to provide strong reasoning and conversational capabilities while maintaining efficient deployment requirements. The model contains roughly 30 billion parameters and is designed to balance performance and computational efficiency, making it suitable for developers building AI applications that cannot run extremely large models. It is trained from scratch and built using a hybrid architecture that... -
19
LocalMode
Local-First AI for the Web
Run ML models entirely in your browser. Embeddings, vector search, LLM chat, vision, audio, agents, and structured output - all offline, all private. No servers. No API keys. Your data never leaves your device. -
20
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
-
21
GENet
A genetic algorithm framework for artificial neural networks.
A genetic algorithm framework to allow the evolution of synapse weights and topologies of artificial neural networks. -
22
Ztooly
Ztooly is a comprehensive collection of 50+ free online tools designed
Ztooly is a comprehensive collection of 50+ free online tools designed to boost productivity and simplify everyday tasks. From AI-powered generators to image editing, data conversion, PDF handling, social tools, and more — Ztooly is your all-in-one web toolkit. -
23
ORTS is an RTS game engine. It is server/client-based and therefore suitable for on-line competitions. Games and the OpenGL GUI are scriptable. A sample game with many MD3 models is included. SVN access is provided through the home page.
-
24
-
25
