doofin

hott-examples

Homotopy type theory for theorem proving with univalence

scala3-native-mill

Scala3 Native project template with Mill

linux-2-in-1-laptops

list of extensible 2 in 1 laptop or tablets with nice Linux support

sbt-android

An easy-to-use sbt plugin for working with all Android projects

dependentChisel

Chisel on Scala 3 with improved bit width inference

stdScala

a math and other std lib functions for scala

vscode-scalajs-hello

A simple VSCode extension with Scala.js

program-analysis-scala

static analysis from Flemming Nielson's book

chiselExample

DistributedApp02148

doofin

dotty

The Scala 3 compiler, also known as Dotty.

drive

Google Drive client for the commandline

electron-floating-app

(wip) floating app example

infoFlow

02244 Logic For Security

javacpp-presets

The missing Java distribution of native C++ libraries

metals

Scala language server with rich IDE features 🚀

metals-vscode

Visual Studio Code extension for Metals

oh-my-zsh

sh -c "$(wget https://raw.githubusercontent.com/doofin/oh-my-zsh/master/tools/install.sh -O -)"

react-starter-kit

React Starter Kit — front-end starter kit using React, Relay, GraphQL, and JAM stack architecture

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!)

scala-effekt

Extensible algebraic effects with handlers

scala3-js-jvm

A scala3 cross project for Scala.js and Scala JVM

scorch

scorch is a deep learning framework in Scala inspired by PyTorch

stm32-rust-starter

template for embeded rust dev with stm32

vscode

A fork of Visual Studio Code for developer's insipiration

vscode-utils

some utils for vscode written in Scala js

webxr-samples

Samples to demonstrate use of the WebXR Device API

xfce4-power-manager

Mirror repository, PRs are not watched, please use Xfce's GitLab

xfce4-screenshooter

Mirror repository, PRs are not watched, please use Xfce's GitLab