
-
CY Tech - Cergy-Pontoise
- Val d'Oise - France
-
15:28
- 2h ahead - in/raphael-fromentin
- u/Il_totore
Starred repositories
Material for TDA283 / DIT300 Compiler Construction
Source code of the programs as values presentation
⚡ Hot Module Replacement system specially designed for command-line Dart applications.
A Single Page Application written in Elm
Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)
A Minecraft mod to take full and automated control of your appliances.
🧡 The neuralgic heart of the application, this module gathers all the functionalities of the framework.
A Mill plugin to submit your dependency graph to the GitHub Dependency Graph API
An exploration of direct and monadic patterns for solving nontrivial problems
An extensible sbt plugin to configure, run and share a list of tasks in your projects locally or in CI, while generating pretty reports in HTML or ASCII.
Scalawind - Zero-Runtime Typesafe TailwindCSS in Scala
The fastest way to create complex web applications in Scala!
A plugin adding support to aligning and distributing all types of layers
A Java wrapper of https://github.com/webview/webview
Tailwind CSS components that support RTL languages & fully responsive based on Flexbox & CSS Grid with elegant Dark Mode 🚀 ☄️.
Free Tailwind CSS components for application UI, ecommerce and marketing with support for dark mode, RTL and Alpine JS 🚀
A Proof Generator for Entailments and Tautologies in First-order Logic
Talk by Prof. Björn Regnell at Foo Café 12th anniversary, 2024 August 27.
Functional abstractions for Kubernetes leases in Scala
backwards-binary-compatible Scala standard library additions
Multi-platform GPGPU computations with Scala, seamlessly 🚀
Brand redesign concept for Linux Mint, offering a cohesive and recognizable identity with consistent visual and communicative materials.
Release with confidence, state-of-the-art property testing for Scala.