Giter Site home page Giter Site logo

Kate's Projects

kind2 icon kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

lablgl icon lablgl

LablGL: an openGL interface for OCaml

lablgtk icon lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

lablqml icon lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt

labrys icon labrys

A toy language based on LLVM that implements the System Fω type-system

lacaml icon lacaml

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

lambdasoup icon lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

letters icon letters

Letters is an OCaml library for creating and sending emails over SMTP using LWT

lib-pxp icon lib-pxp

Fork of https://gitlab.com/gerdstolpmann/lib-pxp

libinput icon libinput

mirror of https://gitlab.freedesktop.org/libinput/libinput

libinput-no-palm-exclusion-zones icon libinput-no-palm-exclusion-zones

The libinput package but without the annoying cursor freeze on macbooks (see https://gitlab.freedesktop.org/libinput/libinput/-/issues/433)

links icon links

Links: Linking Theory to Practice for the Web

llopt icon llopt

Just a tiny LLVM-IR optimizer for testing stuff

llvm icon llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

llvm-dune icon llvm-dune

The official LLVM OCaml binding but built using dune

llvm-project icon llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

luv icon luv

Cross-platform asynchronous I/O and system calls

lwd icon lwd

Lightweight document

lwt icon lwt

A cooperative threads library for OCaml.

m4 icon m4

In-house autoconf macros.

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.