W95Psp

Research Engineer at @cryspen

CryspenFrance

Pinned Repositories

BobbyCarrot
Copy of the famous mobile phone game created by FDG Mobile Games
Language:JavaScript1 2 00
CleanForVSCode
Clean extension for VSCode
Language:TypeScript3 4 91
cloogle-js
Javascript (TypeScript actually) client for Cloogle
Language:TypeScript1 3 00
FStar-libs
Repo with some basic F* libs I use
Language:F*1 2 00
FStarToyStaticAnalyser
Language:F*1 2 01
JS-Star
Transpile F* terms to javascript on the fly during typechecking
Language:F*1 2 00
nix-flake-fstar
Nix Flake for building F*
Language:Nix2 2 01
ocaml-of-json-schema
Language:JavaScript1 2 00
RyanairJs
Unofficial Ryanair library written in TypeScript
Language:JavaScript2 2 00
verified-abstract-interpreter
Language:F*9 3 02

W95Psp's Repositories

W95Psp/test-hydra
Language:Nix
W95Psp/hydra-utils
W95Psp/CleanForVSCode
Clean extension for VSCode
Language:TypeScript31
W95Psp/nix-flake-fstar-extra
Language:Shell
W95Psp/verified-abstract-interpreter
Language:F*92
W95Psp/syncthingPem-to-deviceId
(key.pem, cert.pem) -> deviceId
Language:Go
W95Psp/JS-Star
Transpile F* terms to javascript on the fly during typechecking
Language:F*1
W95Psp/FStar-libs
Repo with some basic F* libs I use
Language:F*1
W95Psp/LiterateFStar
Export F* modules (comments and toplevels defs) as LaTeX (or something else0
Language:F*
W95Psp/fstar-interactive-tactic-repl
Language:F*
W95Psp/cloogle-js
Javascript (TypeScript actually) client for Cloogle
Language:TypeScript1
W95Psp/tinynumpy
A lightweight, pure Python, numpy compliant ndarray class.
W95Psp/StarCombinator
Tiny parser combinator library for FStar
Language:F*11
W95Psp/nix
Nix, the purely functional package manager
Language:C++
W95Psp/zathura
a document viewer
Language:C
W95Psp/fstar-nix-packer
Simple and basic F* package manger with Nix
Language:Nix
W95Psp/FStar-HTTP-Server
HTTP server + F*-to-JS tactic codegen + F* ELM-like engine
Language:HTML
W95Psp/FStarToyStaticAnalyser
Language:F*11
W95Psp/powerpoint-video-player
Detecting animations and slides in videos generated by PowerPoint and provide a player
Language:JavaScript
W95Psp/presentation-rfp-09-2019
Language:JavaScript
W95Psp/markdown-here
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.
Language:JavaScript
W95Psp/fstar-effects-graph-builder
This tool make an SVG that represents the lattice of effects in FStar, by parsing lightly fst[i] files
Language:HTML
W95Psp/AutomatedReasoningAssignment1
Assignment for the course http://www.win.tue.nl/~hzantema/ar.html
Language:HTML
W95Psp/Simulateur-Architecture
Simulateur d'architecture d'ordinateur basique
Language:HTML
W95Psp/ShipFly
A tiny game
Language:JavaScript
W95Psp/BobbyCarrot
Copy of the famous mobile phone game created by FDG Mobile Games
Language:JavaScript1
W95Psp/NID-results
Language:R
W95Psp/DSL-Arduino
Language:Clean
W95Psp/TexArrayManipulation
Package for arrays in TeX
Language:TeX
W95Psp/LaTeX-External-Highlighter
Language:Lua