hare-specification
|
r393.dba688e-1 |
1 |
0.00
|
Specification for the Hare programming language |
grawlinson
|
2022-05-30 08:17 (UTC) |
harec
|
0.24.0-1 |
11 |
0.01
|
The Hare programming language - bootstrapped compiler |
grawlinson
|
2024-03-18 20:46 (UTC) |
hascal-git
|
v1.3.9.r34.g24b4ab5-1 |
0 |
0.00
|
Hascal is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software. |
mmdbalkhi
|
2022-07-17 16:20 (UTC) |
hashem
|
0.07-1 |
0 |
0.00
|
Mr. Hashemi Programming Language |
orphan
|
2021-07-24 10:26 (UTC) |
haskell-agda-language-server
|
0.2.1-22 |
1 |
0.00
|
An implementation of language server protocal (LSP) for Agda 2. |
phijor
|
2022-08-21 15:11 (UTC) |
haskell-diagrams-core
|
1.4.1.1-1 |
0 |
0.00
|
The core modules underlying diagrams, an embedded domain-specific language for compositional, declarative drawing. |
orphan
|
2019-02-06 16:20 (UTC) |
haskell-extensions
|
0.0.0.1-1 |
0 |
0.00
|
Parse Haskell Language Extensions |
ulidtko
|
2022-04-27 10:32 (UTC) |
haskell-language-c5
|
0.5.0-6 |
0 |
0.00
|
Analysis and generation of C code |
pure-aur
|
2022-08-07 09:48 (UTC) |
haskell-language-docker
|
9.1.3-1 |
0 |
0.00
|
Dockerfile parser, pretty-printer and embedded DSL |
m-pilia
|
2021-03-02 16:38 (UTC) |
haskell-language-glsl
|
0.3.0-1 |
0 |
0.00
|
GLSL abstract syntax tree, parser, and pretty-printer |
cheatsc
|
2023-01-17 10:14 (UTC) |
haskell-language-server-git
|
r77.80bc2e8-1 |
1 |
0.00
|
Integration point for ghcide and haskell-ide-engine. |
Poscat
|
2020-02-18 15:54 (UTC) |
haskell-language-server-static
|
2.7.0.0-1 |
9 |
0.00
|
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. |
carbolymer
|
2024-03-01 08:33 (UTC) |
haskell-lsp-git
|
1.1.1.0.r417.gcd5708b-1 |
0 |
0.00
|
Haskell library for the Microsoft Language Server Protocol |
berberman
|
2021-03-09 10:42 (UTC) |
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
|
2021-03-09 10:42 (UTC) |
haskeme
|
0.1.0.1.57d5a8f-1 |
0 |
0.00
|
Compiler from I- to S-Expressions for the Scheme Programming Language |
orphan
|
2019-06-30 21:40 (UTC) |
havm-epita
|
0.28-1 |
0 |
0.00
|
HAVM is a Tree intermediate language interpreter. |
zarak
|
2019-05-27 17:16 (UTC) |
havm-git
|
0.28-1 |
0 |
0.00
|
HAVM is a Tree intermediate language interpreter. |
laurentzh
|
2019-06-28 12:52 (UTC) |
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
|
2019-01-28 18:56 (UTC) |
headmaster-git
|
0.28.r15.g96c3387-2 |
0 |
0.00
|
translate c header files to another language |
Earnest
|
2019-01-19 23:03 (UTC) |
helm-ls
|
0.0.14-1 |
0 |
0.00
|
Language server for Helm |
qvalentin
|
2024-04-06 15:02 (UTC) |
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
|
2017-02-26 11:07 (UTC) |
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
|
2017-02-26 11:08 (UTC) |
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
|
2017-02-26 11:08 (UTC) |
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
|
2017-02-26 11:09 (UTC) |
hexa-git
|
232-1 |
1 |
0.00
|
Hexa is a programming language in an early stage of development |
expwez
|
2023-07-04 22:49 (UTC) |
hobbes-git
|
20170710-1 |
0 |
0.00
|
Language, JIT compiler and DB from Morgan Stanley |
keenerd
|
2018-10-30 08:52 (UTC) |
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. |
CodingMarco
|
2018-04-21 10:58 (UTC) |
hptools-git
|
r4.dfa489f-1 |
0 |
0.00
|
Tools from HP for assembling Saturn Assembly Language and compiling SysRPL. |
martinyr
|
2020-06-22 14:27 (UTC) |
hush
|
0.1.4.alpha-1 |
0 |
0.00
|
A unix shell scripting language based on the Lua programming language |
grawlinson
|
2022-07-01 07:18 (UTC) |
hush-bin
|
0.1.4-1 |
4 |
0.00
|
Hush is a unix shell scripting language based on the Lua programming language |
gahag
|
2022-05-14 19:53 (UTC) |
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
|
2018-05-17 01:53 (UTC) |
hy-hyrule
|
0.4.0-1 |
0 |
0.00
|
A utility library for the Hy programming language |
SaltRockLamp
|
2024-01-02 04:37 (UTC) |
hydra-bin
|
2.2.0-1 |
1 |
0.00
|
hydra is a command line utility for generating language-specific project structures. |
arghya
|
2021-10-31 06:08 (UTC) |
hyperglot
|
0.6.3-1 |
2 |
0.00
|
A database and tools for detecting language support in fonts |
alerque
|
2024-04-10 10:06 (UTC) |
hyprland-per-window-layout
|
2.9-1 |
2 |
0.06
|
Per window keyboard layout (language) for Hyprland wayland compositor |
salta
|
2024-03-22 17:06 (UTC) |
hyprlang-git
|
0.2.1.r6.d486806-1 |
3 |
1.29
|
hyprlang - the hypr configuration language |
jlaunay
|
2024-01-09 09:34 (UTC) |
i-use-arch-btw-git
|
0.1.0.r14.c511373-1 |
1 |
0.00
|
Turing-complete programming language |
OverMighty
|
2023-06-19 10:56 (UTC) |
ibus-ancient-git
|
r11.399cba4-1 |
0 |
0.00
|
ibus-compatible input methods and keyboards for ancient languages. |
narwic
|
2021-01-14 00:13 (UTC) |
icon
|
1:9.5.24a-1 |
32 |
0.01
|
The Icon programming language |
aksr
|
2024-01-20 19:12 (UTC) |
icon-git
|
1:9.5.22e-1 |
3 |
0.00
|
The Icon programming language |
aksr
|
2022-08-05 16:29 (UTC) |
idos-timetable-browser-latest
|
1.30_lib2.11.0.0_date2023_06_08-5 |
1 |
0.00
|
Offline railway and other public transport timetable search engine by CHAPS. (Czech language by default.) |
dreieck
|
2024-01-14 22:30 (UTC) |
idris2
|
0.6.0-2 |
6 |
0.37
|
Functional Programming Language with Dependent Types |
mb64
|
2022-11-11 10:03 (UTC) |
idris2-git
|
latest-3 |
3 |
0.01
|
A purely functional programming language with first class types |
CodingCellist
|
2024-03-01 16:40 (UTC) |
idris2-lsp-git
|
latest-3 |
1 |
0.00
|
Language Server for Idris2 |
MithicSpirit
|
2024-03-10 03:13 (UTC) |
idutils
|
4.6-2 |
15 |
0.00
|
A package of language independent tools that indexes program identifiers, literal numbers, or words of human-readable text. |
petronny
|
2022-07-17 14:07 (UTC) |
ifm
|
5.5-2 |
7 |
0.00
|
A language and a program for keeping track of your progress through an Interactive Fiction game. |
Remedan
|
2023-10-02 19:15 (UTC) |
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
|
2021-07-21 14:18 (UTC) |
ignore
|
0.1.4-1 |
2 |
0.00
|
Download .gitignore files for a given language. |
nicoulaj
|
2017-02-12 18:42 (UTC) |
indent-git
|
2.2.13.r0.g6cbad4c-1 |
0 |
0.00
|
C language source code formatting program |
Chocobo1
|
2023-04-10 19:13 (UTC) |
inform7
|
10.1.2-3 |
31 |
0.00
|
A design system for interactive fiction based on natural language |
orphan
|
2023-05-17 16:49 (UTC) |