- Teaching Functional Programming at Sofia University - Faculty of Mathematics and Informatics (FMI)
- Sofia, Bulgaria
-
23:41
(UTC +03:00)
Block or Report
Block or report reo101
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (22)
Sort Name ascending (A-Z)
BEAM
5 repositories
Discord
2 repositories
Dograma
15 repositories
Emacs
Emacs plugins33 repositories
Embedded
5 repositories
Go
5 repositories
Haskell
56 repositories
Home Assistant
2 repositories
Jellyfin
1 repository
Keyboards
4 repositories
MacOS
35 repositories
Neovim
Neovim plugins554 repositories
Nim
4 repositories
Nix
221 repositories
Pocketbook
4 repositories
Polybar
2 repositories
Rust
258 repositories
Self-hosted
18 repositories
Wayland
30 repositories
web3
12 repositories
Zig
109 repositories
Тапня
РСА3 repositories
Language: Coq
All languages
ATS
Agda
AppleScript
Assembly
BQN
Batchfile
C
C#
C++
CMake
CSS
Clojure
Common Lisp
Coq
Crystal
Cuda
D
Dart
Dhall
Dockerfile
Elixir
Elm
Emacs Lisp
Erlang
F#
F*
Fennel
GDScript
Go
Groff
HCL
HTML
Haskell
Haxe
HolyC
Idris
Inno Setup
Janet
Java
JavaScript
Julia
Jupyter Notebook
Just
Kotlin
LLVM
Lean
Lua
MDX
Makefile
Markdown
Mathematica
MoonScript
NCL
Nim
Nix
Nushell
OCaml
Objective-C
Objective-C++
Odin
OpenSCAD
PHP
Pascal
Perl
PowerShell
PureScript
Python
QML
R
Racket
Reason
Rich Text Format
Roff
Ruby
Rust
SCSS
SVG
Sass
Scala
Scheme
Shell
Slim
Solidity
Squirrel
Starlark
Svelte
Swift
TeX
TypeScript
Typst
Vim Script
Vue
WGSL
WebAssembly
Yacc
ZenScript
Zig
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Coq
Clear filter