Armchair type theorist.
-
PwC
- DC & Baltimore, USA
- https://damienstanton.com
- in/damienstanton
Highlights
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elm
- F#
- F*
- Fennel
- Flix
- Frege
- Futhark
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Nix
- Nu
- OCaml
- Objective-C
- PHP
- PLpgSQL
- PowerShell
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- XSLT
- YAML
- ZenScript
- reStructuredText
15
results
for source starred repositories
written in Scala
Clear filter
An implementation of the java pet store using FP techniques in scala
CPU and GPU-accelerated Machine Learning Library
Write Scala.js React apps just like you would in ES6
Eff monad for cats - https://atnos-org.github.io/eff
A language with lexical effect handlers and lightweight effect polymorphism
Extensible algebraic effects with handlers
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
Example code to accompany shapeless-guide.