Skip to content

@extensibl extensibl

Change the repository type filter

All

    Repositories list

    20 repositories

    • website

      Public
      A simple website written in Ur/Web
      CSS
      •
      BSD 2-Clause "Simplified" License
      •2•8•9•0•Updated Oct 1, 2020Oct 1, 2020

    • cal-open-library

      Public
      C/AL Open Library is a repository for .NET Interop wrappers that will be included into Dynamics 365 for Financials and usable from Extensions V2
      MIT License
      •52•0•0•0•Updated Dec 4, 2018Dec 4, 2018

    • upo

      Public
      The Ur/Web People Organizer
      UrWeb
      •
      Other
      •16•0•0•0•Updated Feb 1, 2017Feb 1, 2017

    • ports

      Public
      OpenBSD ports of MLton and Ur/Web compilers
      openbsd-wip
      Assembly
      •1•4•1•0•Updated Nov 30, 2016Nov 30, 2016

    • urweb

      Public
      The Ur/Web programming language
      Standard ML
      •
      Other
      •67•0•0•0•Updated Jun 19, 2016Jun 19, 2016

    • mlton-bootstrap

      Public
      Makefile
      •0•0•0•0•Updated Jun 19, 2016Jun 19, 2016

    • mlton

      Public
      The MLton repository
      Standard ML
      •
      Other
      •128•0•0•0•Updated Jun 17, 2016Jun 17, 2016

    • openbsd-gcc-4.2.1-segfault

      Public
      GCC 4.2.1 bug report
      C
      •0•0•0•0•Updated May 24, 2016May 24, 2016

    • propellor

      Public
      property-based host configuration management in haskell
      Haskell
      •
      Other
      •25•0•0•0•Updated May 9, 2016May 9, 2016

    • HaNS

      Public
      The haskell network stack
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •14•0•0•0•Updated May 8, 2016May 8, 2016

    • bindings-dsl

      Public
      Library and macros to simplify writing Haskell FFI code
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •18•0•0•0•Updated Apr 8, 2016Apr 8, 2016

    • fscq-impl

      Public
      FSCQ is a certified file system written and proven in Coq
      Coq
      •
      Other
      •21•0•0•0•Updated Mar 24, 2016Mar 24, 2016

    • union

      Public
      Extensible type-safe unions for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Mar 22, 2016Mar 22, 2016

    • prototype

      Public
      The HIPERFIT Portfolio Management Prototype
      JavaScript
      •
      Other
      •4•0•0•0•Updated Mar 2, 2016Mar 2, 2016

    • commercialhaskell

      Public
      A special interest group for companies and individuals interested in commercial usage of Haskell
      112•0•0•0•Updated Feb 27, 2016Feb 27, 2016

    • postgrest

      Public
      REST API for any Postgres database
      Haskell
      •
      MIT License
      •1.1k•0•0•0•Updated Feb 26, 2016Feb 26, 2016

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      OCaml
      •253•0•0•0•Updated Feb 26, 2016Feb 26, 2016

    • HaLVM

      Public
      The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •79•0•0•0•Updated Feb 25, 2016Feb 25, 2016

    • haskell-tor

      Public
      A Haskell implementation of the Tor protocol.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Dec 6, 2015Dec 6, 2015

    • RSA

      Public
      Haskell RSA Library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated Oct 12, 2015Oct 12, 2015