Stars
- All languages
- Agda
- Arduino
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Dafny
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Forth
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Kotlin
- Lean
- Lua
- Makefile
- Nim
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Prolog
- Python
- QML
- Racket
- ReScript
- Red
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Scheme
- Shell
- Standard ML
- TeX
- TypeScript
- UrWeb
- VHDL
- Vala
- Verilog
- XSLT
- hoon
Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]
🌱 a curated list of tools to help you with your research/life; I built a front end around this repo, please use the link below [This repo is deprecated. Instead, I maintain all the contents using t…
[INACTIVE] Rust's standard library, free of C dependencies, for Linux systems
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
Advanced Spaced Repetition flashcard learning software for Android.
wizmer / syncorg
Forked from matburt/mobileorg-androidAn implementation of MobileOrg for the Android platform
Android screen filter app for night time phone use.
Termux - a terminal emulator application for Android OS extendible by variety of packages.
A VT-100 terminal emulator for the Android OS
Outliner for taking notes and managing to-do lists
Rust virtual machine and JIT compiler for eBPF programs
Golang1.4.2 based gc compiler ported to MIPS32/LE. Hello OpenWRT~
SKiDL is a module that extends Python with the ability to design electronic circuits.
Search and browse documents and data; find the people and companies you look for.
A curated list of awesome resources for Electronic Engineers and hobbyists
🔋 CLI battery status indicator for macOS, Linux, and OpenBSD ⚡
Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.
A cross-platform, OpenGL terminal emulator.