coding dubious things
Full-Stack Software Engineer | #ReactJS | #Next.Js | #GraphQL | #Relay | #MongoDB | open source addict π€ | π³οΈβπ
-
Globo
- SΓ£o LuΓs, Brasil
-
10:04
(UTC -03:00) - beacons.ai/biantris
- @biantris_
- in/biantris
Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Logos
- Lua
- MDX
- Makefile
- Markdown
- Nix
- Nunjucks
- OCaml
- PHP
- PostScript
- Python
- ReScript
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Svelte
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Zig
Starred repositories
2
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover