Giter Site home page Giter Site logo

hugopeters1024's Projects

guard icon guard

A high-performance, extensible argument validation library.

ihp icon ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

large-records icon large-records

Library to support efficient compilation of large records (linear in the number of record fields)

minicover icon minicover

Minimalist Code Coverage Tool for .NET Core

monadsincsharp icon monadsincsharp

An experiment to see if we can implement well known monads from haskell in c#

persistent icon persistent

Persistence interface for Haskell allowing multiple storage methods.

sbv icon sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

scotty-identity icon scotty-identity

User authentication abstraction layer for Web.Scotty, inspired by EntityFramework Identity

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.