Search Results for "haskell project"
Sort By:
20 programs for "haskell project" with 1 filter applied:
-
Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
1
[OFFICIAL] tinyfiledialogs v3.18.2 C C++
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
... UTF-8 - applescript kdialog zenity … ° SSH console / X forwarding ° the dialogs can be forced into console mode ° curses dialogs via Dialog.exe/Dialog (disabled by default) C89/C18 & C++98/C++23 compliant VisualStudio MinGW GCC Clang TinyCC IntelCC OWCC BCC SunCC on Windows Mac Linux Bsd Solaris Minix Raspbian Flatpak bindings: VCPKG C# R Lua Rust Haskell Java AllegroBasic Fortran Pascal D JavaScript Kotlin click tab 'Files' for prototypes -
2
MediaWiki To LaTeX converts MediaWiki markup to LaTeX and generates a PDF. So it provides an export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.
-
3
-
4
wxHaskell
A Haskell binding to wxWidgets
The wxHaskell project implements a binding from the portable GUI library wxWidgets to Haskell. -
Track all your service data in one easy-to-use system, enabling your team to move faster and generate more revenue for your bottom line.
-
5
AlloyMDA
MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy. -
6
Human Speakable Programming Language
foundation of the General Intelligence Operating System
HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS... -
7
Partito Pirata
sourcecode of the Partito Pirata project
This project is related to the Partito Pirata source code issueHere we host the development and sharing of the source code of the production into the Partito Pirata project. Every single bit in terms of information and source code will be available here for free -
8
A small command-line calculator, written in Haskell, that takes input like "14+(12+24)/(8.5-2.5)" and prints out the result. It's nothing special really, just a little project I did to learn Haskell.
-
9
The aim of QuantHas is to produce a port of the QuantLib C++ project for quantitative finance in the Haskell functional programming language. please visit our project home page for more details.
-
ConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
-
10
The aim of this project is to create a typesystem like haskell, which aids the developer by preventing type-related bugs. This project will help simplify the typesystem of javascript it by making it more strict.
-
11
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.
-
12
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
-
13
This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
-
14
More Than Parsing is a parser generator for context free grammars defined in a BNF-like format. It generates scanners, parsers, ASTs, etc. This sf project is no longer active, development will continue in a different place.
-
15
-
16
Haskell User-Submitted Libraries includes anything we can get our hands on and clean up for general use, as well as new libraries that would be useful to the general Haskell community. Submit your libs, or join the project to create needed libs!
-
17
The project aims to implement the concept of cellular automatons in the functional language Haskell. It features the "classical" threshold-based generation rules (yes, you CAN play "Game of Life" with it), but as well all other cellular automaton rule
-
18
This project is intended as a case ctudy for application servers based on Haskell.Haskell is used for most of the functionality plus a small amount of very generic XSL for HTML-Generation. Session management is done using Apache Tomcat. Development is
-
19
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
-
20
A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.
- Previous
- You're on page 1
- Next