#
VP of Engineering at resola.ai working on deca.marketing with an amazing team
-
Resola Inc
- Tokyo, Japan
-
14:50
(UTC +09:00) - https://resola.ai
Highlights
- Pro
Block or Report
Block or report evert0n
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Language: Lean
All languages
ApacheConf
Arduino
Assembly
Astro
AutoHotkey
Bluespec
C
C#
C++
CSS
CUE
Chapel
Clojure
CoffeeScript
ColdFusion
Common Lisp
Crystal
Cython
Dart
Dockerfile
Eagle
Elixir
Elm
Erlang
GDScript
Gherkin
Go
Groovy
HCL
HTML
Handlebars
Haskell
JSON
Java
JavaScript
Jinja
Jsonnet
Julia
Jupyter Notebook
Kotlin
Lean
Less
Liquid
Lua
MDX
Makefile
Mako
Markdown
MoonScript
Nunjucks
OCaml
Objective-C
Objective-C++
PHP
PLpgSQL
Perl
PowerShell
Processing
Pug
Python
R
Reason
Rich Text Format
Roff
Ruby
Rust
SCSS
Scala
Scheme
Shell
Starlark
Svelte
Swift
TSQL
TeX
TypeScript
V
Vala
Vim Script
Vue
XSLT
hoon
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Lean
Clear filter
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.