Pinned Repositories
specification
Lambda language specification about syntax, typechecking rules, runtime rules with examples.
pure-compiler
A simple functional and imperative programming language written in Haskell.
bone
Bone programming language. Bone is a language that is interpreted and translated into HTML. It allows you to write applications with a pleasant syntax and features that HTML doesn't handle.
css-framework
🖼 Simple CSS Framework written in Javascript
love
Imperative programming language that brings love by its simplicity.
NessMC
This repository houses the GitHub profile. Simple, clean and elegant, this template will make your visitors want to stay on your profile! It is free to use.
popscript
Popscript is a transpiled programming language which translate into Javascript. It's a very simple language, favorable to productivity and beginners.
protonscript
⚛️ Basically a typed javascript dialect that compile to C.
sweetdb
SweetDB is a data storage system written in Typescript. It has its own schematics format and it's stored temporarily.
thomasvergne.github.io
Its goal is to offer an elegant, luxurious and classic interface. Feel free to contribute or to use under license.
thomasvrgn's Repositories
thomasvrgn/popscript
Popscript is a transpiled programming language which translate into Javascript. It's a very simple language, favorable to productivity and beginners.
thomasvrgn/love
Imperative programming language that brings love by its simplicity.
thomasvrgn/thomasvergne.github.io
Its goal is to offer an elegant, luxurious and classic interface. Feel free to contribute or to use under license.
thomasvrgn/protonscript
⚛️ Basically a typed javascript dialect that compile to C.
thomasvrgn/sweetdb
SweetDB is a data storage system written in Typescript. It has its own schematics format and it's stored temporarily.
thomasvrgn/thomasvergne
thomasvrgn/vue-tailwind-library
Simple component library template featuring Vite.js, Rollup, Vue 3 and TailwindCSS 3.
thomasvrgn/haskell-brainfuck
A little Brainfuck Interpreter written in Haskell in order to practice Monad Transformers.
thomasvrgn/haskell-vm
A simple Bytecode interpreter written in Haskell
thomasvrgn/NessMC.github.io
🏠 NessMC website.
thomasvrgn/beer
A drunk functional and imperative programming language written in Haskell.
thomasvrgn/duck
An imperative and structure oriented programming language written in Haskell.
thomasvrgn/fuckbrainfuck
A little implementation of the language FuckBrainfuck in Haskell.
thomasvrgn/funny.css
A funny TailwindCSS library with enjoyable components.
thomasvrgn/javaskript
Javaskript is a transpiled programming language written in Typescript which is translated into Javascript. Its syntax is based on the Skript language. It combines Javascript power and Skript simplicity into one language.
thomasvrgn/make-your-text-great-again
"Make <your text> great again" is a Trump meme generator made with TailwindCSS and VueJS.
thomasvrgn/nsi-bourbaki
thomasvrgn/sirius
Sirius is a typesafe and memory safe programming language highly inspired by Rust and V that focuses on simplicity and performances.
thomasvrgn/brainie
A little language that outputs Brainfuck code, written in Haskell.
thomasvrgn/discordia
A discord oriented programming language.
thomasvrgn/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
thomasvrgn/esperanza
A programming language highly inspired by OCaml with no errors and no nulls for writing secure and typesafe programs.
thomasvrgn/feather
A little ML language inspired by Haskell and OCaml.
thomasvrgn/flow.js
TailwindCSS UI library based on ShadCN component library.
thomasvrgn/lambdas
Some work about lambda closure conversion and lifting.
thomasvrgn/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
thomasvrgn/native.js
Native.js is a ECMAScript dialect that aims to be a Javascript compiler that produces native outputs.
thomasvrgn/react-template
thomasvrgn/register
Grab your own sweet-looking '.is-a.dev' subdomain
thomasvrgn/xenon
A powerful programming language with object and functional features written in Haskell.