1986 packages found. Page 15 of 40.

« First ‹ Previous ... 10 11 12 13 14 15 16 17 18 19 20 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
haskell-language-c5 0.5.0-3 0 0.00 Analysis and generation of C code pure-aur
haskell-language-docker 9.1.3-1 0 0.00 Dockerfile parser, pretty-printer and embedded DSL m-pilia
haskell-language-server-bin 1.2.0-1 11 0.26 Successor of ghcide & haskell-ide-engine. One IDE to rule them all. berberman
haskell-language-server-git r77.80bc2e8-1 1 0.00 Integration point for ghcide and haskell-ide-engine. Poscat
haskell-lsp-git 1.1.1.0.r417.gcd5708b-1 0 0.00 Haskell library for the Microsoft Language Server Protocol berberman
haskell-lsp-types-git 1.1.1.0.r417.gcd5708b-1 0 0.00 Haskell library for the Microsoft Language Server Protocol, data types berberman
haskell-tidal-git latest-1 1 0.02 A domain specific language for live coding pattern. orphan
haskeme 0.1.0.1.57d5a8f-1 0 0.00 Compiler from I- to S-Expressions for the Scheme Programming Language orphan
havm-epita 0.28-1 0 0.00 HAVM is a Tree intermediate language interpreter. zarak
havm-git 0.28-1 0 0.00 HAVM is a Tree intermediate language interpreter. laurentzh
haxe-git git-1 5 0.00 An open-source high-level multiplatform programming language and compiler that can produce applications and source code for many different platforms from a single code-base cthuflu
haxe2 2.10-4 3 0.00 A multiplatform open source programming language orphan
haxima-git r1.0cc63e9-1 0 0.00 Haxima is an Ultima-like game engine (2D tile graphics) with combat, magic, NPC AI, an embedded scripting language, and in-game editing. jonathon
headmaster-git 0.28.r15.g96c3387-2 0 0.00 translate c header files to another language Earnest
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
hexa-git 289-1 1 0.00 Hexa is a programming language in an early stage of development expwez
hobbes-git 20170710-1 0 0.00 Language, JIT compiler and DB from Morgan Stanley keenerd
how2 1.7.3-1 2 0.18 finds the simplest way to do something in a unix shell. It's like man, but you can query it in natural language (VladimirMikulic working fork). petRUShka
hp2xx 3.4.4-4 4 0.00 Convert vector-oriented graphics data from HP-GL plotter language into a variety of popular graphics formats. haawda
hptools-git r4.dfa489f-1 0 0.00 Tools from HP for assembling Saturn Assembly Language and compiling SysRPL. martinyr
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. orphan
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. orphan
hyperglot 0.2.9-2 0 0.00 A database and tools for detecting language support in fonts alerque
ibus-ancient-git r11.399cba4-1 0 0.00 ibus-compatible input methods and keyboards for ancient languages. narwic
icon 1:9.5.20i-1 32 0.00 The Icon programming language haawda
icon-git 1:9.5.20i.r1.gf48c0f5-1 3 0.00 The Icon programming language haawda
idos-timetable-browser-latest 1.30_lib2.9.0.2_date2021_3_1-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
idutils 4.6-1 17 0.00 A package of language independent tools that indexes program identifiers, literal numbers, or words of human-readable text. yhfudev
ifm 5.4-1 6 0.02 A language and a program for keeping track of your progress through an Interactive Fiction game. mikesd
ifm-git r1090.1f6eb78-1 0 0.00 A language and a program for keeping track of your progress through an Interactive Fiction game. zocker_160
ignore 0.1.4-1 2 0.00 Download .gitignore files for a given language. nicoulaj
indent-git 2.2.12.r4.g14313ae-1 0 0.00 C language source code formatting program Chocobo1
info-beamer-git 243.ac815b1-3 2 0.00 Allows you to develop interactive information displays using the Lua programming language. orphan
inform7 6M62-4 30 0.00 A design system for interactive fiction based on natural language orphan
inko 0.9.0-1 0 0.00 A statically-typed object-oriented language for writing concurrent programs yorickpeterse
inko-git 0.8.1.r2.g055b80da-1 0 0.00 A statically-typed object-oriented language for writing concurrent programs yorickpeterse
inky 0.12.0-2 2 0.83 Editor for ink: inkle's narrative scripting language Dylan14
intel2gas 1.3.3-7 3 0.00 Converts assembly language files between NASM and GNU assembler syntax alyptik
intellij-idea-community-edition-git r273161.a55684844e95-1 3 0.00 IDE for Java, Groovy and other programming languages with advanced refactoring features kendfinger
intellij-idea-ultimate-edition 2021.1.3-2 373 5.07 An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. uwolfer
intellij-idea-ultimate-edition-jre 2021.1.3-2 373 5.07 An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. uwolfer
io-git 20151111.11.g457b5ff-1 8 0.00 Io is a prototype-based programming language inspired by Smalltalk navigaid
iortcw-it 1.51c-1 0 0.00 Return to Castle Wolfenstein Single Player Italian Language File robertfoster
isabelle 2021-1 24 0.09 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. bitwave
isabelle-tum 2021-1 0 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. MW360

1986 packages found. Page 15 of 40.

« First ‹ Previous ... 10 11 12 13 14 15 16 17 18 19 20 ... Next › Last »