19-day longest streak
-
wits-scala-refinement-types ★ PINNED
No description.
HTML ★ 0 5mo agoExplain → -
presentation-template
No description.
HTML ★ 12 2mo agoExplain → -
acf-code
WordPress plugin that adds a code editor field type to Advanced Custom Fields.
PHP ★ 9 11y agoExplain → -
docker-wordpress-autoinstall ▣
Automatically download, configure, install and run WordPress thanks to WP-CLI.
★ 7 10y agoExplain → -
scalacon-typelevel-operations
No description.
CSS ★ 6 3y agoExplain → -
wp-backup-restore-command ▣
No description.
PHP ★ 2 9y agoExplain → -
formal-verification-project
CS550 Formal Verification Project, EPFL, Winter 2021-2022
SMT ★ 2 4y agoExplain → -
ts-tree
A basic tree class for javascript/typescript
TypeScript ★ 2 7y agoExplain → -
dataviz-project
https://mbovel.github.io/dataviz-project/
JavaScript ★ 2 3y agoExplain → -
relaxng-to-json-schema
No description.
JavaScript ★ 1 3y agoExplain → -
scala-compiletime-presentation
No description.
HTML ★ 1 4y agoExplain → -
dela-analysis
No description.
Jupyter Notebook ★ 1 6y agoExplain → -
Chronisis.com
WordPress theme for www.chronisis.com
PHP ★ 1 11y agoExplain → -
stainless ⑂
Verification framework and tool for higher-order Scala programs
Scala ★ 0 2d agoExplain → -
sbt ⑂
sbt, the interactive build tool
★ 0 1mo agoExplain → -
dotty ⑂
The Scala 3 compiler, also known as Dotty.
Scala ★ 0 9d agoExplain → -
Monocle ⑂
Optics library for Scala
★ 0 1mo agoExplain → -
generics-benchmarks
No description.
Jupyter Notebook ★ 0 1y agoExplain → -
oolong ⑂
Compile-time query generation for document stores
★ 0 2mo agoExplain → -
zio ⑂
ZIO — A type-safe, composable library for async and concurrent programming in Scala
★ 0 2mo agoExplain → -
example-wp-setup ▣
No description.
PHP ★ 0 9y agoExplain → -
coursier ⑂
Pure Scala Artifact Fetching
★ 0 3mo agoExplain → -
scala-advent-of-code ⑂
Scala Center's solution of Advent of Code
Scala ★ 0 4mo agoExplain → -
scala-workshop-qualified-types
No description.
HTML ★ 0 8mo agoExplain → -
SystemFR ⑂
System FR: Formalized Foundations for Stainless
★ 0 9mo agoExplain → -
metals ⑂
Scala language server with rich IDE features 🚀
★ 0 9mo agoExplain → -
hylo-xst ⑂
Demo compiler for existentialization
★ 0 1y agoExplain → -
Archivist ⑂
Tiny library to serialize and deserialize data structures.
★ 0 1y agoExplain → -
utest ⑂
A simple testing framework for Scala
★ 0 1y agoExplain → -
bolts ⑂
Bolts: Stainless Verified Scala Examples
★ 0 1y agoExplain → -
itp-project
No description.
HTML ★ 0 2y agoExplain → -
sbt-teavm-scala3-test
No description.
Scala ★ 0 2y agoExplain → -
scala-cli ⑂
Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)
★ 0 2y agoExplain → -
scala-benchmarks
No description.
Scala ★ 0 2y agoExplain → -
scala-lang ⑂
sources for the Scala language website
★ 0 2y agoExplain → -
docs.scala-lang ⑂
The Scala Documentation website
★ 0 2y agoExplain → -
requests-scala ⑂
A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.
Scala ★ 0 3y agoExplain → -
scala-cli-vs-sbt
No description.
Scala ★ 0 3y agoExplain → -
Imhof ▣
Second semester IT Project
Java ★ 0 11y agoExplain → -
metals-vscode ⑂
Visual Studio Code extension for Metals
★ 0 3y agoExplain → -
highlight.js ⑂
JavaScript syntax highlighter with language auto-detection and zero dependencies.
★ 0 4y agoExplain → -
inox ⑂
Solver for higher-order functional programs
Scala ★ 0 25d agoExplain → -
truffle-tests
No description.
Java ★ 0 6y agoExplain → -
pedemo ⑂
No description.
Java ★ 0 6y agoExplain → -
salejeune.com
WordPress theme for www.salejeune.com.
CSS ★ 0 6y agoExplain → -
autoui
No description.
TypeScript ★ 0 6y agoExplain → -
ts-tree-ui
Tree UI for the browser, supporting keyboard and drag'n'drop
TypeScript ★ 0 7y agoExplain → -
ts-pubsub
Minimal type-safe implementation of the publish–subscribe pattern in typescript
TypeScript ★ 0 7y agoExplain → -
logic_form
Formulaire pour l'examen du cours «Logique Mathématique» de Jacques Duparc.
TeX ★ 0 8y agoExplain → -
docker-alpine-sdk
No description.
★ 0 9y agoExplain → -
stratoxmusic
No description.
HTML ★ 0 9y agoExplain → -
mocha ⑂
mocha - simple, flexible, fun javascript test framework for node.js & the browser. (BDD, TDD, QUnit styles via interfaces)
JavaScript ★ 0 10y agoExplain → -
tinymce-no-resize
This WordPress plugin allows you to turn off the resizing handles on images, tables or media objects in the TinyMCE editor.
PHP ★ 0 11y agoExplain →
No repos match these filters.