dan-frank

dan-frank's Stars

• scalawithcats/scala-with-cats

  Source code for Scala with Cats

  Language:Scala403133

• dustinlyons/nixos-config

  General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

  Language:Nix2k122

• tpwrules/nixos-apple-silicon

  Resources to install NixOS bare metal on Apple Silicon Macs

  Language:Nix92997

• softinio/scalanews

  Scala News - A Community Crowd Sourced newsletter using RSS

  Language:Scala3815

• nix-community/nix-init

  Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

  Language:Rust94322

• samdroid-apps/nix-articles

  Some articles about getting started with Nix programming & configuration

  1649

• DanielaSfregola/tutorial-cat

  Workshop Pragmatic Introduction to Category Theory

  Language:Scala12729

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.8k14.6k

• zio/zio-cli

  Rapidly build powerful command-line applications powered by ZIO

  Language:Scala13379

• alephium/alephium

  Reference client for Alephium protocol

  Language:Scala16662

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala57650

• zio/zio-direct

  Direct-Style Programming for ZIO

  Language:Scala15513

• TomasMikula/libretto

  Declarative concurrency and stream processing library for Scala

  Language:Scala2007

• jaspwr/LiA

  A transpiled superset of TeX for writing LaTeX.

  Language:Rust76

• mmistakes/jekyll-theme-basically-basic

  Your new Jekyll default theme.

  Language:SCSS8631.2k

• pauljamescleary/scala-pet-store

  An implementation of the java pet store using FP techniques in scala

  Language:Scala1.1k212

• apache/pekko

  Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

  Language:Scala1.3k154

• fomkin/korolev

  Single Page Applications running on the server side.

  Language:Scala57950

• gaurav-nelson/github-action-markdown-link-check

  Check all links in markdown files if they are alive or dead. 🔗✔️

  Language:Shell41576

• jkulton/gistdoc

  View GitHub markdown gists as simple blog-style pages

  Language:TypeScript61

• kamranahmedse/github-pages-blog-action

  Create good looking blog from your markdown files in a GitHub repository

  Language:CSS8715

• TheAlgorithms/Scala

  All Algorithms implemented in Scala

  Language:Scala1.1k393

• SheerSt/pokewilds

  PokeWilds - A Gen 2 Game/Engine using libGDX

  Language:Assembly2.7k206

• bluxmit/alnoda-workspaces

  :fireworks: Flexible and extendable containerized workspaces. Now. with free offline chat GPT!!! 🚀🚀🚀

  Language:Dockerfile1.3k123

• dtinth/comic-mono-font

  A legible monospace font... the very typeface you’ve been trained to recognize since childhood

  Language:Python2.6k69

• libre-tube/LibreTube

  An alternative frontend for YouTube, for Android.

  Language:Kotlin8.9k451

• jwasham/coding-interview-university

  A complete computer science study plan to become a software engineer.

  309k77.4k

• pranavdeshai/anki-prettify

  Collection of customizable Anki flashcard templates with modern and clean themes.

  Language:SCSS36717

• DenverCoder1/latex-gboard-dictionary

  ⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX

  38952

• udacity/AIND-Constraint_Satisfaction

  Constraint Satisfaction Problem lab to solve the N-Queens problem

  Language:Jupyter Notebook21146