w95psp Goto Github PK

latex-external-highlighter

link-a-pix

http://www.lirmm.fr/~retore/projetsL2/projetLinPix.pdf

literatefstar

Export F* modules (comments and toplevels defs) as LaTeX (or something else0

littlepapi

Little Php API (Papi mean grandpa in French)

markdown-here

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

mli2fsti

Convert ocaml interfaces (*.mli) to fstar ones (*.fsti)

nid-results

nix

Nix, the purely functional package manager

nix-flake-fstar

Nix Flake for building F*

nix-flake-fstar-extra

nixpkgs

Nix Packages collection

nodejs-server-manager

Host multiple NodeJS app on a server, with reverse-proxy built-in

powerpoint-video-player

Detecting animations and slides in videos generated by PowerPoint and provide a player

ppx_matches

Translates [%matches? <PATTERN>] into (function | <PATTERN> -> true | _ -> false)

presentation-rfp-09-2019

quizvocabularyhandwriting

rust

Empowering everyone to build reliable and efficient software.

ryanair-flight-finder

Find flight for specific days from airport near to you (Ryanair only)

ryanairjs

Unofficial Ryanair library written in TypeScript

scanduplex

Your scanner can scan automatically stack of paper but not in duplex ? Here is the solution !

shipfly

A tiny game

simulateur-architecture

Simulateur d'architecture d'ordinateur basique

starcombinator

Tiny parser combinator library for FStar

sublime-syntax-shakespeare

Sublime text syntax for shakespearean templates (used by yesod)

syncthingpem-to-deviceid

(key.pem, cert.pem) -> deviceId

test-hydra

texarraymanipulation

Package for arrays in TeX

tinynumpy

A lightweight, pure Python, numpy compliant ndarray class.

todolist

Project of the HLIN505 subject in third year (at the university of Montpellier)

tokei

Count your code, quickly.