Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types emacs
emacs
x
types
x
9 search results found
Its
⭐
780
Incompatible Timesharing System
Elsa
⭐
590
Emacs Lisp Static Analyzer and gradual type system.
Robe
⭐
565
Code navigation, documentation lookup and completion for Ruby
Cubicaltt
⭐
547
Experimental implementation of Cubical Type Theory
Org Special Block Extras
⭐
179
A number of new custom blocks and link types for Emacs' Org-mode ^_^
Speed Type
⭐
147
Practice touch/speed typing in emacs
Libegit2
⭐
113
Emacs bindings for libgit2
Jeison
⭐
106
An Emacs library for declarative JSON parsing
Emacs Ffi
⭐
72
FFI for Emacs
Agda From Nothing
⭐
62
A workshop on learning Agda with minimal prerequisites.
Agda Mode
⭐
58
agda-mode on Atom
Refscript
⭐
58
Refinement Types for Scripting Languages
Spire
⭐
53
The Spire Programming Language
Flow Js2 Mode
⭐
46
[UNMAINTAINED] Support for flow for js2-mode
Syncweb
⭐
28
literate programming meets unison
Bbyac
⭐
23
For when 'M-/ M-/ M-/ C-/' gets you down
Ivy Omni Org
⭐
19
An Ivy command which lets you visit Org buffers, files, bookmarks, and agenda commands
Emacs Hacker Typer
⭐
18
A customizable implementation of http://hackertyper.com in emacs.
Emacs Trr
⭐
17
a type-writing training program on GNU Emacs
Types Vs Tests
⭐
16
Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
Com Css Sort
⭐
13
Common way of sorting the CSS attributes.
Gidl
⭐
11
Gidl: an Interface Description Language
Python Elisp
⭐
11
Emacs Lisp parser for Python
Vimco
⭐
11
A vim to emacs theme converter
Darkmine Theme
⭐
9
Yet another emacs dark color theme
Manued
⭐
7
Manued is a proofreading method. This is emacs implementation.
Chylathemeforemacs
⭐
7
Green color scheme for Emacs.
Compilation Bookmarks
⭐
6
emacs compilation-bookmarks-minor-mode
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.