Pinned Repositories
agda-ocaml
OCaml backend for Agda
adjustable-trees
advent
cat
A formalization of category theory in cubical Agda
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
gitm
javalette
mac
Forked from https://bitbucket.org/russo/mac-demo
spirograph
MULLE
fredefox's Repositories
fredefox/cat
A formalization of category theory in cubical Agda
fredefox/advent
fredefox/cabal
Official upstream development repository for Cabal and cabal-install
fredefox/Club
Organization and planning for the Initial Types Club
fredefox/dotfiles
fredefox/euler
fredefox/exercism
fredefox/fredefox.github.io
fredefox/ghc-proposals-stats
Statistics for the GHC proposal repository
fredefox/github-pages-deploy-action
:octocat: :rocket: GitHub action for deploying a project to GitHub pages.
fredefox/graphql-api
Write type-safe GraphQL services in Haskell
fredefox/haskell
Exercism exercises in Haskell.
fredefox/haskell-test-runner
fredefox/hlint
Haskell source code suggestions
fredefox/jira
fredefox/kafkajs
A modern Apache Kafka client for node.js
fredefox/mailmap
fredefox/mod
fredefox/occurs
fredefox/rails
Ruby on Rails
fredefox/rollbar-gem
Exception tracking and logging from Ruby to Rollbar
fredefox/sexp
S-Expression parsing/printing made fun and easy
fredefox/SPLV20
SPLV20 course notes
fredefox/sproget
fredefox/sproget-custom-theme
fredefox/sqlite-simple
Mid-level bindings for sqlite
fredefox/tsearch
:warning: WIP :warning: Search TypeScript functions and methods by types
fredefox/typescript.el
TypeScript-support for Emacs
fredefox/valmdz.github.io
fredefox/volleyball-world-hide-replay-length