Search Results for "gnu science"
Sort By:
Showing 22 open source projects for "gnu science"
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
3
-
4
ordinals
Collection of scripts for transfinite ordinals computations
Collection of scripts for transfinite ordinals computations -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
-
6
ElixirFM
Functional Arabic Morphology
ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm -
7
Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic
-
8
AlloyMDA
MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy. -
9
Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
The Fluxion framework is a prototype data integration system using Semantic Web technologies.
-
11
A Haskell implementation of the Three Man morris game together with an AI for playing against the Computer. Command line based, needs Haskell interpreter.
-
12
Functional Reactive VR is a library for developing dynamic, interactive Virtual Environments. The FRVR framework provides new and powerful tools for implementing the dynamics and interaction of Interactive Experiences.
-
13
This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.
-
14
TerraHS is a software component that enables the development of geographical applications in a functional language, using the data handling capabilities and spatial operations of TerraLib.
-
15
powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.
-
16
Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.
-
17
The SpindleCAD is a machine-tool spindle design software. It helps engineers check properties of finished construction and optimize construction with respect to precision and productivity.
-
18
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
-
19
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
-
20
This library for the Haskell programming language provides Video4Linux2 (V4L2) frame grabber operation functions. Requires GHC (Glasgow Haskell Compiler) and Linux kernel 2.6 header files.
-
21
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
-
22
Article manager
A command line tool for articles management.
A command line tool that allows a semi-automated scientific articles management. It assumes an existence of a directory of a specific format in the file system. The tool interprets the data stored in the directory (called a repository), extend it via the usage of some automatic tools such as pdftotext, and search the text as well as some metadata.
- Previous
- You're on page 1
- Next
