Search Results for "haskell"
Sort By:
Showing 30 open source projects for "haskell"
View related business solutions-
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
G-P - Global EOR SolutionWith G-P's industry-leading Employer of Record (EOR) and Contractor solutions, you can hire, onboard and manage teams in 180+ countries — quickly and compliantly — without setting up entities.
-
1
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells
ImplicitCAD is a programmatic CAD program, implemented in Haskell. Unlike traditional CAD programs, programmatic CAD programs use text descriptions of objects, as in programming. Concepts like variables, control structures and abstraction are used, just as in programming. With the explosion of 3D printing, designing 3D objects has become an even more important problem. And it's a complicated one. -
2
bignum: Infinite precision math library
Infinite precision scientific math library for Haskell, Miranda & KRC
bignum is a KRC and Miranda library and BigFloat a Haskell type for dealing with infinite-precision values with all arithmetic and scientific functions. Unlike most long-precision calculation systems, it guarantees that every digit it returns is correct. It has no known bugs except for bottoming out on certain values like 1/3 * 3 and is maintained at https://codeberg.org/martinwguy/bigfloat -
3
EvilTransform
Transport coordinate between earth(WGS-84) and mars in china(GCJ-02)
...The project implements forward and inverse transformations (WGS→GCJ and GCJ→WGS) as well as a higher-precision inverse method (GCJ→WGS exact) that trades speed for sub-meter accuracy, and it includes a utility for computing geodesic distance in meters. It’s implemented (or ported) across many languages and platforms — you’ll find reference implementations in Go, C/C++/Obj-C, Java, JavaScript, Python, PHP, C#, Haskell, Rust, Swift, MATLAB and more — which makes it easy to drop into server, client, or mobile codebases. The README documents the API signatures and describes expected numeric accuracy (e.g., ~1–2 m for the standard inverse, <0.5 m for the exact inverse) and when to use each routine. -
4
Algebraic graphs
Algebraic graphs
Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. ... -
Pest Control Management SoftwareBuilt for the pest control industry, but also works great for Mosquito Control, Bin Cleaning, Window Washing, Solar Panel Cleaning, and other Home Service Businesses in need of an easy-to-use software that helps you simplify routing, scheduling, communications, payment processing, truck tracking, time tracking, and reporting.
-
5
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. -
6
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. -
7
Power Systems
Power system analysis software
-
8
Witchcraft
Monads and other dark magic for Elixir
Witchcraft brings algebraic and category-theoretic abstractions—like semigroups, monoids, functors, applicatives, and monads—to Elixir in a pragmatic, protocol-driven way. It introduces a set of typeclass-style protocols and laws so data types can declare the operations they support and have those behaviors verified. The library encourages composability and pure transformations, letting you build pipelines where effects are modeled explicitly rather than hidden in ad-hoc helpers. Because the... -
9
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 -
Easy-to-use Business Software for the Waste Management Software IndustryDOP Software’s mission is to streamline waste and recycling business’ processes by providing them with dynamic, comprehensive software and services that increase productivity and quality of performance.
-
10
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
-
11
Sharp Statistics
A simple program for comparing data sets with simple algorithms.
Replace the data in the data.db file with your own data using an sqlite3 manager. Tables are read as data set names, and the values are read as the data points of the data sets. Load the application, choose an algorithm, and the program will find the pairs that best match each other. -
12
A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
-
13
pHaskell is a new lenguaje to develop active libraries in a functional way. pHaskell translate from a haskell like language to C++ template metaprogramming.
-
14
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.
-
15
simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
-
16
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.
-
17
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.
-
18
-
19
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.
-
20
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
-
21
-
22
A tool written in Haskell to parse GDSII (Calma) binary files and print the GDSII structure out in a readable text format.
-
23
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/
-
24
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.
-
25
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
