1685 packages found. Page 10 of 34.

« First ‹ Previous ... 5 6 7 8 9 10 11 12 13 14 15 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
hermetic-git 20150624-1 0 0.00 a python-like language with hindley-milner-like type system, which is compiled to c keenerd
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hobbes-git 20170710-1 0 0.00 Language, JIT compiler and DB from Morgan Stanley keenerd
husk 0.9.13-1 4 0.00 An iptables front-end to allow rules to be expressed in a more flexible, free-form style using language. fukawi2
husk-git 20130604-1 0 0.00 An iptables front-end to allow rules to be expressed in a more flexible, free-form style using language. fukawi2
icon-git 20181004-1 3 0.00 The Icon programming language haawda
idos-timetable-browser-latest 1.30_lib2.9.0.0-1 1 0.00 Offline railway and other public transport timetable search engine by CHAPS. (Czech language by default.) dreieck
idris-git v0.11.r118.cf0b54e-1 1 0.00 Functional Programming Language with Dependent Types pdxleif
ignore 0.1.4-1 2 0.00 Download .gitignore files for a given language. nicoulaj
inky 0.8.0-2 0 0.00 Editor for ink: inkle's narrative scripting language orphan
io-git 20151111.11.g457b5ff-1 8 0.00 Io is a prototype-based programming language inspired by Smalltalk navigaid
iortcw-it 1.51b-1 0 0.00 Return to Castle Wolfenstein Single Player Italian Language File robertfoster
iso-relax 20041111-1 6 0.00 Schema language neutral interface for XML document validators MRWITEK
isoquery 3.2.3-1 1 0.00 Search and display ISO codes for countries, languages, currencies, and scripts. IooNag
jelly-git r272.1075e4e-2 1 0.00 An esoratic programming language orphan
jfederc-git 1.1-3 0 0.00 A compiler for the Feder programming language FionnL
jflap 7.1-1 21 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
jflap-beta 8.0-3 3 0.00 Software for learning the basic concepts of Formal Languages and Automata Theory, latest version with custom SVG icon and GTK theming. ConfuZzled
jose-git 10.r8.028eab5-1 0 0.00 C-language implementation of Javascript Object Signing and Encryption diabonas
josl 0.5.6-1 2 0.00 An interpreted, GC'd, dynamic, modern and practical stack based language. keenerd
joy 1-1 8 0.00 A purely functional concatenative language. keenerd
julia-mkl-git 0.7.0.DEV.r36924.g83b5261d45-1 2 0.00 High-level, high-performance, dynamic programming language (compiled with the Intel MKL library) orphan
julia-mkl-git-docs 0.7.0.DEV.r36924.g83b5261d45-1 2 0.00 High-level, high-performance, dynamic programming language (compiled with the Intel MKL library) -- Documentation and examples orphan
juliadoc-git r57.a04131c-1 1 0.00 Python package providing Sphinx extensions and a theme for the Julia language haawda
jython-hg r8074.fc946dea9c0f-1 1 0.00 An implementation of the Python language written in Java orphan
kaitai-struct-compiler-git 0.8.r56.g078d45b-1 0 0.00 Kaitai Struct Compiler: Compiler for the Kaitai declarative binary format parsing language mcd1992
kdevelop-pg-qt-git r594.3776ab9-1 12 0.00 KDevelop Parser Generator, a LL(1) parser generator used by KDevelop language plugins. (GIT version) zanny
kdevelop-php-git v4.90.91.r33.gd3b3852-1 0 0.00 PHP language plugin for KDevelop - Git build locke87
kink-hg 0.1-1 2 0.00 Kink is a prototype-based functional language on the JVM. The goal of the language is easy and elastic programming with handful number of simple mechanisms. raa0121
kit-git r252.8aa8a0a-1 0 0.00 A magical, high performance programming language for game development. pixeljoelson
komodo-ide 11.1.1_91089-1 1 0.00 Code smarter and faster with the leading IDE for today's major web languages, including Python, PHP, Node.js, Perl, Go and Ruby. - XUL based tsouhaieb
komodo-ide-nightly 11.0.1_90763-1 1 0.00 Code smarter and faster with the leading IDE for today's major web languages, including Python, PHP, Node.js, Perl, Go and Ruby. - XUL based Naatan
kona-git 20120613-1 1 0.00 An open-source implementation of the K language, an ASCII APL. keenerd
konoha 1.0.0.952-1 1 0.00 A high speed static scripting language. keenerd
kopano-webapp-spellchecker-languagepack-dutch 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-english-gb 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-english-us 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-french 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-german-at 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-german-ch 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-german-de 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-italian-it 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kopano-webapp-spellchecker-languagepack-spanish 3.4.12-1 0 0.00 WebApp for Kopano martimcfly
kross-git r95.78b3de7-1 9 0.00 Multi-language application scripting orphan
kulanday-git 173-1 0 0.00 A software for collecting and managing datasets for learning languages (or anything else) nano13
kumir2-git 08.06.2019-1 0 0.00 An educational programming language and IDE in Russian schools vtyulb
labview-2010 SP0-1 0 0.00 A system-design platform and development environment for a visual programming language from National Instruments. orphan

1685 packages found. Page 10 of 34.

« First ‹ Previous ... 5 6 7 8 9 10 11 12 13 14 15 ... Next › Last »