Pinned Repositories
alg-statistics
fundamental statistics in haskell
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/hott-examples
Homotopy type theory for theorem proving with univalence
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/program-analysis-scala
static analysis from Flemming Nielson's book
doofin/chiselExample
doofin/DistributedApp02148
doofin/doofin
doofin/dotty
The Scala 3 compiler, also known as Dotty.
doofin/drive
Google Drive client for the commandline
doofin/electron-floating-app
(wip) floating app example
doofin/infoFlow
02244 Logic For Security
doofin/javacpp-presets
The missing Java distribution of native C++ libraries
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/react-starter-kit
React Starter Kit — front-end starter kit using React, Relay, GraphQL, and JAM stack architecture
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/scala3-js-jvm
A scala3 cross project for Scala.js and Scala JVM
doofin/scorch
scorch is a deep learning framework in Scala inspired by PyTorch
doofin/stm32-rust-starter
template for embeded rust dev with stm32
doofin/vscode
A fork of Visual Studio Code for developer's insipiration
doofin/vscode-utils
some utils for vscode written in Scala js
doofin/webxr-samples
Samples to demonstrate use of the WebXR Device API
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