Awesome Open Source

Programming Languages

Search results for emacs agda

13 search results found

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Plfa Zh ⭐ 165

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

Agda Vim ⭐ 116

Agda interaction in vim

Next 700 Module Systems ⭐ 69

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Agda From Nothing ⭐ 62

A workshop on learning Agda with minimal prerequisites.

Agda Mode ⭐ 58

agda-mode on Atom

Agda Summer School ⭐ 57

Summer school on programming in Agda

The Spire Programming Language

Agdacheatsheet ⭐ 33

Basics of the dependently-typed functional language Agda ^_^

Agda Writer ⭐ 32

A simple GUI for Agda

Linear.agda ⭐ 19

A library and case-study for linear, intrinsically-typed interpreters in Agda

Org Agda Mode ⭐ 13

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda

Related Searches

Emacs Melpa (757)

Emacs Elisp (634)

Emacs Org Mode (569)

Vim Emacs (506)

Shell Emacs (502)

Dotfiles Emacs (461)

Editor Emacs (422)

Theme Emacs (420)

Python Emacs (410)

Clojure Emacs (347)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.