#
I don't use Github much.
personal repos: git.envs.net.
public repos: codeberg.org.
Links are below.
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CSS
- ChucK
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- Euphoria
- F*
- GLSL
- Gherkin
- Go
- HTML
- Haskell
- Haxe
- Idris
- Io
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- LiveScript
- Lua
- Makefile
- Markdown
- Mathematica
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- Raku
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smalltalk
- Svelte
- SystemVerilog
- TypeScript
- Vue
- WebAssembly
- Yacc
- Zig
- ooc
Starred repositories
6
stars
written in Idris
Clear filter
A purely functional programming language with first class types
dunhamsteve / SPLV20
Forked from edwinb/SPLV20edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr…
Maintenance utilities for the Idris2 package manager *pack*