Lucas Franceschino (@W95Psp)
github

W95Psp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 542,735 (Top 19 %)
  • Followers 28
  • Following 8
  • Registered almost 14 years ago
  • Most used languages
    F*     38.5 %
    JavaScript
         38.5 %
    TypeScript
         15.4 %
    Nix
         7.7 %
  • Location 🇫🇷 France
  • Country Total Rank 12,135
  • Country Ranking
    F*     2
    Nix
         92
    TypeScript
         2,448
    JavaScript
         5,395

Top repositories

1

verified-abstract-interpreter

F*
9
star
2

CleanForVSCode

Clean extension for VSCode
TypeScript
3
star
3

RyanairJs

Unofficial Ryanair library written in TypeScript
JavaScript
2
star
4

nix-flake-fstar

Nix Flake for building F*
Nix
2
star
5

ocaml-of-json-schema

JavaScript
1
star
6

QuizVocabularyHandwriting

JavaScript
1
star
7

cloogle-js

Javascript (TypeScript actually) client for Cloogle
TypeScript
1
star
8

FStarToyStaticAnalyser

F*
1
star
9

BobbyCarrot

Copy of the famous mobile phone game created by FDG Mobile Games
JavaScript
1
star
10

StarCombinator

Tiny parser combinator library for FStar
F*
1
star
11

Ryanair-flight-finder

Find flight for specific days from airport near to you (Ryanair only)
JavaScript
1
star
12

FStar-libs

Repo with some basic F* libs I use
F*
1
star
13

JS-Star

Transpile F* terms to javascript on the fly during typechecking
F*
1
star