Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Kernel

An experimental Agda kernel for Jupyter
Stars
17
License
cc-by-4.0
Open Issues
4
Most Recent Commit
2 years ago
Programming Language
Jupyter Notebook
Categories
Repo
Alternatives To Agda Kernel
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Agda Kernel17
2 years ago4cc-by-4.0Jupyter Notebook
An experimental Agda kernel for Jupyter
Openbsd Knf Emacs11
9 years agoEmacs Lisp
Emacs support for OpenBSD's KNF (Kernel Normal Form aka style(9))
Alternatives To Agda Kernel
Select To Compare


Suggest An Alternative To agda-kernel
Alternative Project Comparisons
Agda Kernel vs Openbsd Knf Emacs
Popular Kernel Projects
Linux ⭐ 164,652
Linux kernel source tree
total releases 2latest release December 07, 2022most recent commit 5 months ago
Popular Tabs Projects
Popular Operating Systems Categories
Kernel
Driver
Operating System
Unix
Debian
Filesystem
Openwrt
Hackintosh
Efi
Tvos
Related Searches
Jupyter Notebook Kernel
Jupyter Notebook Tabs
Tabs Codemirror
Kernel Tabs
Jupyter Notebook Codemirror

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Jupyter Notebook
Kernel
Tabs
Codemirror
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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