9 projects for "haskell" with 2 filters applied:

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • Leverage AI to Automate Medical Coding Icon
    Leverage AI to Automate Medical Coding

    Medical Coding Solution

    As a healthcare provider, you should be paid promptly for the services you provide to patients. Slow, inefficient, and error-prone manual coding keeps you from the financial peace you deserve. XpertDox’s autonomous coding solution accelerates the revenue cycle so you can focus on providing great healthcare.
    Learn More
  • 1
    Asterius

    Asterius

    A Haskell to WebAssembly compiler

    Asterius is a Haskell toolchain that compiles to WebAssembly, enabling Haskell programs to run in the browser and other Wasm hosts. It builds on GHC, lowers Haskell code to WebAssembly modules, and links them with a lightweight JavaScript runtime for I/O, GC interaction, and host integration. The toolchain provides commands to build and link (ahc/ahc-link), bundle assets, and target both browser and Node environments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    midori programming language

    midori programming language

    dependently typed functional programming language

    Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Financial reporting cloud-based software. Icon
    Financial reporting cloud-based software.

    For companies looking to automate their consolidation and financial statement function

    The software is cloud based and automates complexities around consolidating and reporting for groups with multiple year ends, currencies and ERP systems with a slice and dice approach to reporting. While retaining the structure, control and validation needed in a financial reporting tool, we’ve managed to keep things flexible.
    Learn More
  • 5
    Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Language Prototyping System
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software. Icon
    Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.

    Banks, lending institutions

    Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
    Learn More
  • Previous
  • You're on page 1
  • Next