Pinned Repositories
categorical-initiative
An collaborative learning group to tackle category theory
dependentChisel
Chisel on Scala 3 with improved bit width inference
differentiable-idris
dependent types meets deep learning
fcall
function call graph generator for haskell
haskellAlgo
numerical Methods and other algo
hott-examples
Homotopy type theory for theorem proving with univalence
program-analysis-scala
static analysis from Flemming Nielson's book
pureGraphdb
Native haskell graph database
scala3-native-mill
Scala3 Native project template with Mill
scala4Android
scala android template
doofin's Repositories
doofin/scala3-native-mill
Scala3 Native project template with Mill
doofin/linux-2-in-1-laptops
list of extensible 2 in 1 laptop or tablets with nice Linux support
doofin/sbt-android
An easy-to-use sbt plugin for working with all Android projects
doofin/dependentChisel
Chisel on Scala 3 with improved bit width inference
doofin/stdScala
a math and other std lib functions for scala
doofin/vscode-scalajs-hello
A simple VSCode extension with Scala.js
doofin/Airstream
State propagation and event streams with mandatory ownership and no glitches
doofin/armbian-build
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
doofin/blogs
doofin/BredOS-images
doofin/chiselExample
doofin/doofin
doofin/dotty
The Scala 3 compiler, also known as Dotty.
doofin/electron-floating-app
(wip) floating app example
doofin/esp32cam_rs
Rust examples for esp32-cam
doofin/javacpp-presets
The missing Java distribution of native C++ libraries
doofin/linux-rockchip
doofin/metals
Scala language server with rich IDE features 🚀
doofin/metals-vscode
Visual Studio Code extension for Metals
doofin/oh-my-zsh
sh -c "$(wget https://raw.githubusercontent.com/doofin/oh-my-zsh/master/tools/install.sh -O -)"
doofin/pre_expectation
impl and demo for A Pre-Expectation Calculus for Probabilistic Sensitivity
doofin/sbc-pkgbuilds
doofin/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!)
doofin/scala-effekt
Extensible algebraic effects with handlers
doofin/scala2rust
scala to rust compiler/transpiler
doofin/scala3-js-jvm
A scala3 cross project for Scala.js and Scala JVM
doofin/stm32-rust-starter
template for embeded rust dev with stm32
doofin/vscode-utils
some utils for vscode written in Scala js
doofin/xfce4-power-manager
Mirror repository, PRs are not watched, please use Xfce's GitLab
doofin/xfce4-screenshooter
Mirror repository, PRs are not watched, please use Xfce's GitLab