void linux based free download

Showing 5 open source projects for "void linux based"

View related business solutions

Scientific/Engineering Haskell Clear Filters & Widen Search

Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free
Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free
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.

Downloads: 0 This Week

Last Update: 2021-03-01
See Project
2

Power Systems

Power system analysis software

Downloads: 0 This Week

Last Update: 2018-12-18
See Project
3

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

1 Review

Downloads: 0 This Week

Last Update: 2016-06-28
See Project
4

Encode Arabic

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

1 Review

Downloads: 0 This Week

Last Update: 2016-06-28
See Project
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free
5

powerPlant

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.

1 Review

Downloads: 9 This Week

Last Update: 2013-04-08
See Project