♾️
Generalizing something
Type theory daisuki
- Pennsylvania, Gensokyo
-
09:19
(UTC -05:00) - https://ice1000.org
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Arduino
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Dhall
- Elixir
- Emacs Lisp
- F#
- F*
- Fortran
- Frege
- GDScript
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- Python
- Racket
- Raku
- ReScript
- Red
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Typst
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- Yacc
- Zig
4
stars
written in Dart
Clear filter
Flutter makes it easy and fast to build beautiful apps for mobile and beyond
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
This repo contains info on DEP - Dart Enhancement Proposal