-
Notifications
You must be signed in to change notification settings - Fork 3
/
languages.json
2557 lines (2557 loc) · 154 KB
/
languages.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
[
{
"name": "1C Enterprise",
"info": "1C:Enterprise is a universal cloud and on-premise system of programs for automating a company’s financial and wider operational activities. ",
"src": "https://1c-dn.com/1c_enterprise/what_is_1c_enterprise/"
},
{
"name": "4D",
"info": "The 4D built-in language, consisting of more than 1300 commands, makes 4D a powerful development tool for web, mobile, or desktop applications. You can use the 4D language for many different tasks—from performing simple calculations to creating complex custom user interfaces.",
"src": "https://doc4d.github.io/docs/next/Concepts/about/"
},
{
"name": "ABAP",
"info": "Advanced Business Application Programming (APAB) is the primary programming language supported on the SAP NetWeaver ABAP application server platform and applications that run on it, such as SAP ERP (formerly R/3), S/4HANA and CRM.",
"src": "https://help.sap.com/doc/abapdocu_latest_index_htm/latest/en-US/abenabap_overview.htm"
},
{
"name": "ABNF",
"info": "ABNF (Augmented Backus-Naur Form) is a metalanguage based on Backus-Naur Form (BNF), used to express context-free grammars: that is, a formal way to describe formal languages.",
"src": "https://tools.ietf.org/html/rfc5234"
},
{
"name": "AGS Script",
"info": "AGS Script is a scripting language used within the Adventure Game Studio platform, designed specifically for writing point-and-click adventure games.",
"src": "https://www.adventuregamestudio.co.uk/"
},
{
"name": "AL",
"info": "AL (Application Language) is used for business applications in Microsoft Dynamics 365 Business Central, allowing data manipulation and control over application objects for consistent business operations.",
"src": "https://learn.microsoft.com/en-us/dynamics365/business-central/dev-itpro/developer/devenv-programming-in-al"
},
{
"name": "AMPL",
"info": "AMPL (A Mathematical Programming Language) is a high-level language designed for expressing optimization models and solving complex problems in linear, nonlinear, and integer optimization widely used in both academia and industry.",
"src": "https://ampl.com"
},
{
"name": "ANTLR",
"info": "ANTLR (Another Tool for Language Recognition) is a powerful parser generator used to build languages, tools, and frameworks, generating parsers that can process, execute, or translate structured text or binary files.",
"src": "https://www.antlr.org/"
},
{
"name": "API Blueprint",
"info": "API Blueprint is a high-level language for web API design and documentation. It provides a syntax to describe HTTP APIs, allowing a user to define a format with metadata, endpoint descriptions, request parameters, and response attributes.",
"src": "https://apiblueprint.org/"
},
{
"name": "APL",
"info": "APL (A Programming Language) is known for its concise syntax using special characters and array programming capabilities, making it powerful for mathematical and other high-level computational tasks.",
"src": "https://www.dyalog.com/"
},
{
"name": "ASL",
"info": "ASL (Adobe Source Libraries) provides a collection of C++ libraries designed to construct industrial-strength application software. It emphasizes modern software engineering practices to minimize bugs and improve quality.",
"src": "https://opensource.adobe.com/asl/"
},
{
"name": "ASN.1",
"info": "ASN.1 (Abstract Syntax Notation One) is a standard and flexible notation that describes data structures for representing, encoding, transmitting, and decoding data in telecommunications and computer networking.",
"src": "https://www.itu.int/en/ITU-T/asn1/Pages/introduction.aspx"
},
{
"name": "ASP.NET",
"info": "ASP.NET is an open-source server-side web application framework designed for web development to produce dynamic web pages developed by Microsoft to allow programmers to build dynamic web sites, applications, and services.",
"src": "https://dotnet.microsoft.com/en-us/apps/aspnet"
},
{
"name": "ATS",
"info": "ATS is a statically typed programming language that unifies implementation with formal specification. It is designed to provide highly efficient type-checking and to support formal reasoning of programs through types.",
"src": "http://www.ats-lang.org/"
},
{
"name": "ActionScript",
"info": "ActionScript is an object-oriented programming language originally developed by Macromedia Inc. (now discontinued by Adobe Systems). It is primarily used for the development of websites and software targeting the Adobe Flash Player platform.",
"src": "https://helpx.adobe.com/support/flash.html"
},
{
"name": "Ada",
"info": "A structured, statically typed programming language designed for large and complex systems, with a focus on safety and reliability.",
"src": "https://www.adacore.com/about-ada"
},
{
"name": "Adobe Font Metrics",
"info": "Adobe Font Metrics (AFM) files describe the visual characteristics of fonts, supporting precise text layout and rendering in applications.",
"src": "https://adobe-type-tools.github.io/font-tech-notes/"
},
{
"name": "Agda",
"info": "Agda is a dependently typed functional programming language, emphasizing proofs of correctness and advanced type system features to ensure program reliability.",
"src": "https://agda.readthedocs.io/en/latest/"
},
{
"name": "Alloy",
"info": "Alloy is a declarative modeling language for expressing complex structural constraints and behavior in software systems, facilitating the analysis and understanding of system architectures.",
"src": "https://alloytools.org/"
},
{
"name": "Alpine Abuild",
"info": "Alpine Abuild is a tool used in the Alpine Linux distribution to compile source packages into installable binary packages, part of the Alpine package management system.",
"src": "https://wiki.alpinelinux.org/wiki/Abuild_and_Helpers"
},
{
"name": "Altium Designer",
"info": "Altium Designer is a PCB and electronic design automation software package, providing tools for 3D PCB design and embedded system development.",
"src": "https://www.altium.com/altium-designer/"
},
{
"name": "AngelScript",
"info": "AngelScript is an embeddable scripting language optimized for real-time applications, often used in game development for its performance and robust typing system.",
"src": "https://www.angelcode.com/angelscript/"
},
{
"name": "Ant Build System",
"info": "The Ant Build System is a Java-based build tool that simplifies the software build process by managing dependencies and directing the build process.",
"src": "https://ant.apache.org/"
},
{
"name": "ApacheConf",
"info": "ApacheConf is the configuration language used by the Apache HTTP Server, allowing the server's behavior to be customized through directives in configuration files.",
"src": "https://httpd.apache.org/docs/"
},
{
"name": "Apex",
"info": "Apex is a strongly typed, object-oriented programming language that allows Salesforce developers to execute flow and transaction control statements on the Salesforce platform.",
"src": "https://developer.salesforce.com/docs/atlas.en-us.apexcode.meta/apexcode/"
},
{
"name": "Apollo Guidance Computer",
"info": "The Apollo Guidance Computer (AGC) was an early digital computer designed to control the Apollo spacecraft's navigation and guidance systems during lunar missions.",
"src": "https://airandspace.si.edu/stories/editorial/apollo-guidance-computer-and-first-silicon-chips"
},
{
"name": "AppleScript",
"info": "AppleScript is a scripting language created by Apple Inc., designed to automate complex sequences of tasks and customize the functionality of macOS applications.",
"src": "https://developer.apple.com/library/archive/documentation/AppleScript/Conceptual/AppleScriptLangGuide/introduction/ASLR_intro.html"
},
{
"name": "Arc",
"info": "Arc is a dialect of the Lisp programming language, designed to explore the boundaries of what a minimal, expressive Lisp can be.",
"src": "http://arclanguage.org/"
},
{
"name": "AsciiDoc",
"info": "AsciiDoc is a human-readable document format, semantically equivalent to DocBook XML, but using plain text markups for documentation and other texts.",
"src": "https://asciidoc.org/"
},
{
"name": "AspectJ",
"info": "AspectJ is an aspect-oriented programming (AOP) language designed to cleanly modularize cross-cutting concerns in Java applications.",
"src": "https://www.eclipse.org/aspectj/"
},
{
"name": "Assembly",
"info": "Assembly languages are low-level programming languages that are closely correlated to the machine code instructions specific to a computer's architecture.",
"src": "https://www.tutorialspoint.com/assembly_programming/assembly_introduction.htm"
},
{
"name": "Asymptote",
"info": "Asymptote is a descriptive vector graphics language that provides a natural coordinate-based framework for technical drawing in 2D and 3D.",
"src": "https://asymptote.sourceforge.io/"
},
{
"name": "Augeas",
"info": "Augeas is a configuration editing tool and programming language that parses configuration files and allows automated changes without altering the file's formatting.",
"src": "http://augeas.net/"
},
{
"name": "AutoHotkey",
"info": "AutoHotkey is a scripting language for Windows that allows users to automate desktop tasks and create hotkeys for frequently performed actions.",
"src": "https://www.autohotkey.com/"
},
{
"name": "AutoIt",
"info": "AutoIt is a freeware automation language for Windows aimed at automating the Windows GUI and general scripting to automate repetitive tasks.",
"src": "https://www.autoitscript.com/site/autoit/"
},
{
"name": "Avro IDL",
"info": "Avro IDL is an interface definition language that allows the definition of Avro schemas, which are then used for serializing and deserializing data in a compact binary format.",
"src": "https://avro.apache.org/docs/current/spec.html"
},
{
"name": "Awk",
"info": "Awk is a domain-specific language designed for text processing and typically used as a data extraction and reporting tool.",
"src": "https://www.gnu.org/software/gawk/manual/gawk.html"
},
{
"name": "Ballerina",
"info": "Ballerina is an open-source, cloud-native programming language optimized for integration. It is designed to simplify how developers build and deploy microservices and integrations. With built-in support for network interactions and data handling, Ballerina facilitates coding in a sequence diagram-based graphical view as well.",
"src": "https://ballerina.io/"
},
{
"name": "Batchfile",
"info": "Batchfile, or batch scripts, are scripts executed by Windows command-line interpreters such as cmd.exe. They are used for automating tasks on Windows, leveraging command-line instructions and batch-specific scripting features.",
"src": "https://steve-jansen.github.io/guides/windows-batch-scripting/"
},
{
"name": "Befunge",
"info": "Befunge is an esoteric programming language known for its unusual two-dimensional code layout, where instructions are executed in a grid, allowing for multi-directional flow of control.",
"src": "https://esolangs.org/wiki/Befunge"
},
{
"name": "Bison",
"info": "Bison is a general-purpose parser generator that converts a grammar description for an LALR(1) context-free grammar into a C program to parse that grammar.",
"src": "https://www.gnu.org/software/bison/"
},
{
"name": "BitBake",
"info": "BitBake is a make-like build tool with the special focus of distributions and packages for embedded Linux cross-compilation.",
"src": "https://www.yoctoproject.org/docs/latest/bitbake-user-manual/bitbake-user-manual.html"
},
{
"name": "Blade",
"info": "Blade is a simple, yet powerful templating engine provided with Laravel, which does not restrict you from using plain PHP code in your views.",
"src": "https://laravel.com/docs/8.x/blade"
},
{
"name": "BlitzBasic",
"info": "BlitzBasic, also known as Blitz3D, BlitzPlus, or BlitzMax, is a family of game programming languages that are designed to cater to novice programmers.",
"src": "https://blitzresearch.itch.io/"
},
{
"name": "BlitzMax",
"info": "BlitzMax is a variant of the Blitz programming languages, which extends the capabilities of its predecessor by offering more advanced programming features and a module system.",
"src": "https://blitzresearch.itch.io/blitzmax"
},
{
"name": "Bluespec",
"info": "Bluespec is a high-level hardware description language that generates synthesizable Verilog from formal specifications, emphasizing correctness and synthesis.",
"src": "https://bluespec.com/"
},
{
"name": "Boo",
"info": "Boo is an object-oriented, statically typed programming language for the .NET Framework with a python-inspired syntax and a special focus on language and compiler extensibility.",
"src": "https://github.com/boo-lang/boo"
},
{
"name": "Brainfuck",
"info": "Brainfuck is an esoteric programming language created for extreme minimalism and is noted for its lack of commands, consisting only of eight simple commands and an instruction pointer.",
"src": "https://esolangs.org/wiki/Brainfuck"
},
{
"name": "Brightscript",
"info": "Brightscript is a scripting language designed specifically for Roku development, enabling developers to build applications for the Roku streaming platform.",
"src": "https://developer.roku.com/docs/references/brightscript/language/brightscript-language-reference.md"
},
{
"name": "C",
"info": "C is a general-purpose programming language developed in 1972 by Dennis Ritchie at Bell Labs. It's known for its efficiency and control, widely used in system and application development, including operating systems, databases, and more.",
"src": "https://en.cppreference.com/w/c/language"
},
{
"name": "C#",
"info": "C# (C-Sharp) is an object-oriented programming language developed by Microsoft as part of its .NET initiative. It's designed to be modern, easy to learn, and to support robust software development with strong type checking and range checking.",
"src": "https://docs.microsoft.com/en-us/dotnet/csharp/"
},
{
"name": "C++",
"info": "C++ is a statically typed, compiled, general-purpose programming language that is an extension of the C language. It supports object-oriented, procedural, and generic programming, making it highly flexible and adaptable for large-scale software infrastructures.",
"src": "https://en.cppreference.com/w/cpp/language"
},
{
"name": "CLIPS",
"info": "CLIPS (C Language Integrated Production System) is a rule-based programming language developed at NASA for creating expert systems, emphasizing heuristic solutions over algorithmic ones.",
"src": "https://www.clipsrules.net/"
},
{
"name": "CMake",
"info": "CMake is a cross-platform free and open-source software for managing the build processes of software using a compiler-independent method, supporting directory hierarchies and applications.",
"src": "https://cmake.org/"
},
{
"name": "COBOL",
"info": "COBOL (Common Business-Oriented Language) is a high-level language for business data processing and batch processing applications, known for its simplicity, robustness, and business application nature.",
"src": "https://open-cobol.sourceforge.io/"
},
{
"name": "CSON",
"info": "CSON (CoffeeScript-Object-Notation) is a syntax for structured data, akin to JSON, using CoffeeScript object literals for a more expressive and concise data representation.",
"src": "https://github.com/bevry/cson"
},
{
"name": "CSS",
"info": "CSS (Cascading Style Sheets) is a style sheet language used for describing the presentation of a document written in HTML or XML, including colors, layout, and fonts.",
"src": "https://developer.mozilla.org/en-US/docs/Web/CSS"
},
{
"name": "CSV",
"info": "CSV (Comma-Separated Values) is a simple file format used to store tabular data, such as a spreadsheet or database. Each line in the file corresponds to a row in the table, and columns are separated by commas.",
"src": "https://www.rfc-editor.org/rfc/rfc4180"
},
{
"name": "CWeb",
"info": "CWeb combines the programming language C with LaTeX, allowing users to write programs and documentation in one source file. It's a form of literate programming pioneered by Donald Knuth.",
"src": "https://www-cs-faculty.stanford.edu/~knuth/cweb.html"
},
{
"name": "Cap'n Proto",
"info": "Cap'n Proto is a data interchange format and capability-based RPC system that is extremely efficient, allowing for the serialization and deserialization of structured data without parsing.",
"src": "https://capnproto.org/"
},
{
"name": "CartoCSS",
"info": "CartoCSS is a styling language based on CSS to design beautiful maps, primarily used within the CartoDB platform for geographic data visualization.",
"src": "https://carto.com/"
},
{
"name": "Ceylon",
"info": "Ceylon is a programming language optimized for modularity and tooling that offers great fluency to write structured and scalable programs. It was designed by Red Hat.",
"src": "https://ceylon-lang.org/"
},
{
"name": "Chapel",
"info": "Chapel is a programming language designed for productive parallel computing on large-scale systems. It supports data parallelism, task parallelism, and a global namespace to manage concurrency effectively across different computational architectures.",
"src": "https://chapel-lang.org/"
},
{
"name": "Charity",
"info": "Charity is a purely functional programming language based on category theory. It emphasizes mathematical proofs and its compiler ensures that every program written in it terminates.",
"src": "https://en.wikipedia.org/wiki/Charity_(programming_language)"
},
{
"name": "ChucK",
"info": "ChucK is a programming language for real-time sound synthesis and music creation. It introduces a unique time-based, concurrent programming model that provides precise control over time and audio computation.",
"src": "https://chuck.cs.princeton.edu/"
},
{
"name": "Cirru",
"info": "Cirru is an expression-based programming language that aims to simplify syntax and make code visually clearer. It is primarily used for transforming data with its minimalistic structure.",
"src": "http://cirru.org/"
},
{
"name": "Clarion",
"info": "Clarion is a data-centric Advanced Rapid Application Development (ARAD) language and environment used to develop database applications. It is known for its templating language and integrated development environment which helps in generating code.",
"src": "https://www.softvelocity.com/"
},
{
"name": "Classic ASP",
"info": "Classic ASP (Active Server Pages) is Microsoft's server-side script engine for dynamically-generated web pages with an emphasis on ease of use and quick development.",
"src": "https://docs.microsoft.com/en-us/previous-versions/iis/6.0-sdk/ms524929(v=vs.90)"
},
{
"name": "Clean",
"info": "Clean is a functional programming language designed for portability and efficiency, similar to Haskell. It is distinguished by its unique approach to dealing with mutable state.",
"src": "https://clean.cs.ru.nl/Clean"
},
{
"name": "Click",
"info": "Click is a modular router software architecture designed to run on UNIX-like operating systems. It is configurable and used primarily for network research.",
"src": "https://github.com/kohler/click"
},
{
"name": "Clojure",
"info": "Clojure is a modern, functional dialect of Lisp on the Java platform. Known for its robust concurrency tools and immutable data structures, it emphasizes functional programming.",
"src": "https://clojure.org/"
},
{
"name": "Closure Templates",
"info": "Closure Templates are a client- and server-side templating system that helps you dynamically build reusable HTML and UI elements. They are part of the Closure Tools.",
"src": "https://developers.google.com/closure/templates/"
},
{
"name": "Cloud Firestore Security Rules",
"info": "Cloud Firestore Security Rules provide a flexible, declarative language to secure access to documents in Google Cloud Firestore. They allow fine-grained control over database operations.",
"src": "https://firebase.google.com/docs/firestore/security/get-started"
},
{
"name": "CodeQL",
"info": "CodeQL is a semantic code analysis engine used to automate security checks. It enables developers to perform queries on codebases as if they were data.",
"src": "https://securitylab.github.com/tools/codeql"
},
{
"name": "CoffeeScript",
"info": "CoffeeScript is a little language that compiles into JavaScript. It provides better syntax avoiding the quirky parts of JavaScript, allowing clearer expression of concepts.",
"src": "https://coffeescript.org/"
},
{
"name": "ColdFusion",
"info": "ColdFusion is a commercial rapid web-application development platform invented by JJ Allaire in 1995. It is known for its associated scripting language, ColdFusion Markup Language (CFML), which is syntactically similar to HTML.",
"src": "https://helpx.adobe.com/coldfusion/user-guide.html"
},
{
"name": "ColdFusion CFC",
"info": "ColdFusion Components (CFCs) enable object-oriented programming techniques in ColdFusion, allowing developers to encapsulate related functions into single components, enhancing security, performance, and reusability.",
"src": "https://www.quackit.com/coldfusion/tutorial/coldfusion_components.cfm"
},
{
"name": "Common Lisp",
"info": "Common Lisp is a multi-paradigm programming language that supports procedural, functional, and object-oriented programming, known for its flexibility and extensibility.",
"src": "https://common-lisp.net/"
},
{
"name": "Common Workflow Language",
"info": "The Common Workflow Language (CWL) is an open standard for describing analysis workflows and tools in a way that makes them portable and scalable across a variety of software and hardware environments.",
"src": "https://www.commonwl.org/"
},
{
"name": "Component Pascal",
"info": "Component Pascal is a descendant of the Oberon-2 programming language, designed for building components and applications. It is a small, fast, and safe language.",
"src": "https://www.componentpascal.org/"
},
{
"name": "Cool",
"info": "Cool (Classroom Object Oriented Language) is a language designed for use in an introductory programming course at the undergraduate level, focusing on features found in modern programming languages.",
"src": "https://web.stanford.edu/class/cs143/"
},
{
"name": "Coq",
"info": "Coq is a formal proof management system, providing a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.",
"src": "https://coq.inria.fr/"
},
{
"name": "Creole",
"info": "Creole is a lightweight markup language aimed at bridging the differences in wiki markup, making it easier to transfer content across different wikis without losing information.",
"src": "https://www.wikicreole.org/"
},
{
"name": "Crystal",
"info": "Crystal is a programming language that aims to provide a balance between high-level abstractions and low-level performance, with a syntax similar to Ruby but statically typed and compiled.",
"src": "https://crystal-lang.org/"
},
{
"name": "Csound",
"info": "Csound is a sound and music computing system providing a collection of music synthesis and signal processing facilities, designed for sound designers and musicians.",
"src": "https://csound.com/"
},
{
"name": "Cuda",
"info": "CUDA is a parallel computing platform and application programming interface model created by Nvidia, allowing software developers to use a CUDA-enabled graphics processing unit (GPU) for general purpose processing.",
"src": "https://developer.nvidia.com/cuda-zone"
},
{
"name": "Cycript",
"info": "Cycript is a programming language that allows developers to explore and modify running applications on either iOS or macOS using a hybrid of Objective-C and JavaScript syntax.",
"src": "http://www.cycript.org/"
},
{
"name": "Cython",
"info": "Cython is a programming language that makes writing C extensions for the Python language as easy as Python itself, aimed at creating fast C code from Python logic.",
"src": "https://cython.org/"
},
{
"name": "D",
"info": "D is a general-purpose programming language with static typing, systems-level access, and C-like syntax. It combines efficiency, control, and modeling power with safety and programmer productivity.",
"src": "https://dlang.org/"
},
{
"name": "DIGITAL Command Language",
"info": "The DIGITAL Command Language (DCL) is the standard command language used on VAX, Alpha, and Itanium-based systems running the OpenVMS operating system.",
"src": "https://vmssoftware.com/docs/user_guide/UGV041.html"
},
{
"name": "DM",
"info": "DM, the Dream Maker language, is used in the creation of games on the BYOND platform. It supports networking, databases, and interfaces for complex game creation.",
"src": "https://www.byond.com/docs/guide/"
},
{
"name": "DNS Zone",
"info": "DNS Zone files are plain text files that represent the mapping between domain names and IP addresses. They contain directives and resource records, detailing domains, subdomains, and IP addresses.",
"src": "https://www.iana.org/help/dns-zone-file"
},
{
"name": "DTrace",
"info": "DTrace is a comprehensive dynamic tracing framework originally created by Sun Microsystems. It is designed for troubleshooting kernel and application problems on production systems in real time.",
"src": "https://en.wikipedia.org/wiki/DTrace"
},
{
"name": "Dafny",
"info": "Dafny is a programming language and program verifier, designed to support the static verification of programs to prove their correctness.",
"src": "https://dafny-lang.github.io/dafny/"
},
{
"name": "Darcs Patch",
"info": "Darcs is a distributed revision control system that uses a unique patch-based approach allowing for asynchronous and independent work within the same project.",
"src": "http://darcs.net/"
},
{
"name": "Dart",
"info": "Dart is a client-optimized language for fast apps on any platform, developed by Google. It is used to build mobile, desktop, server, and web applications.",
"src": "https://dart.dev/guides"
},
{
"name": "DataWeave",
"info": "DataWeave is a powerful transformation language introduced by MuleSoft for data integration on the Anypoint Platform, designed to transform complex data structures.",
"src": "https://docs.mulesoft.com/dataweave/"
},
{
"name": "Dhall",
"info": "Dhall is a programmable configuration language optimized for maintainability and safety, designed to avoid some of the common pitfalls of dealing with configuration files.",
"src": "https://dhall-lang.org/"
},
{
"name": "Diff",
"info": "Diff is a file comparison tool that is used to show the differences between two files, or each corresponding file in two directories.",
"src": "https://www.gnu.org/software/diffutils/manual/diffutils.html#Invoking-diff"
},
{
"name": "DirectX 3D File",
"info": "DirectX 3D files, typically with extensions like .x, are used to represent 3D modeling data and are commonly associated with Microsoft's DirectX technology.",
"src": "https://docs.microsoft.com/en-us/windows/win32/direct3d9/dx9-graphics"
},
{
"name": "Dockerfile",
"info": "A Dockerfile is a script composed of various commands and arguments listed successively to automatically perform actions on a base image to create a new one.",
"src": "https://docs.docker.com/engine/reference/builder/"
},
{
"name": "Dogescript",
"info": "Dogescript is a whimsical programming language that is inspired by the popular 'Doge' meme, featuring a playful syntax resembling the doge's internal monologue.",
"src": "https://dogescript.io/"
},
{
"name": "Dylan",
"info": "Dylan is a multi-paradigm programming language that includes support for functional and object-oriented programming, designed to deliver high-performance executable code.",
"src": "https://opendylan.org/"
},
{
"name": "E",
"info": "E is an object-capability programming language for secure distributed computing.",
"src": "https://erights.org/"
},
{
"name": "EBNF",
"info": "Extended Backus-Naur Form (EBNF) is a notation for formally describing syntax as a set of derivation rules, which describe how symbols of the language are related to each other.",
"src": "https://www.iso.org/standard/26153.html"
},
{
"name": "ECL",
"info": "ECL is a data-centric declarative programming language optimized for large-scale data management and query processing and forms the foundation of the HPCC Systems platform.",
"src": "https://hpccsystems.com/training/documentation/ecl-language-reference"
},
{
"name": "EJS",
"info": "Embedded JavaScript templates (EJS) is a simple templating language that lets you generate HTML markup with plain JavaScript.",
"src": "https://ejs.co/"
},
{
"name": "EML",
"info": "EML (Email Markup Language) represents electronic mail messages containing plain text, hyperlinks, attachments, and other data via standardized encoding techniques.",
"src": "https://en.wikipedia.org/wiki/Email"
},
{
"name": "EQ",
"info": "EQ, also known as Eqela, is a programming language that evolved into the Sling language. It is designed to enhance developer productivity and quality of software through a design that emphasizes simplicity and efficiency.",
"src": "https://www.markkukero.com/2017-01-introducing-the-sling-programming-language/"
},
{
"name": "Eagle",
"info": "Eagle is not specifically a programming language but often relates to the Eagle PCB design software, used for creating printed circuit board layouts.",
"src": "https://www.autodesk.com/products/eagle/overview"
},
{
"name": "Ecere Projects",
"info": "The Ecere IDE and SDK feature the Ecere programming language, which is designed to be straightforward and efficient, supporting object-oriented and procedural programming.",
"src": "https://www.ecere.com/"
},
{
"name": "Edje Data Collection",
"info": "Edje is not a programming language but a part of the Enlightenment Foundation Libraries, used for creating complex graphical layouts and animations in applications.",
"src": "https://www.enlightenment.org/about-edje"
},
{
"name": "Eiffel",
"info": "Eiffel is an object-oriented programming language that emphasizes software reliability and reusability, known for its Design by Contract approach to ensure software correctness.",
"src": "https://www.eiffel.org/"
},
{
"name": "Elixir",
"info": "Elixir is a dynamic, functional language designed for building scalable and maintainable applications, leveraging the Erlang VM, known for running low-latency, distributed systems.",
"src": "https://elixir-lang.org/"
},
{
"name": "Elm",
"info": "Elm is a functional language that compiles to JavaScript, making it ideal for developing reliable web applications with a strong emphasis on simplicity and quality tooling.",
"src": "https://elm-lang.org/"
},
{
"name": "Emacs Lisp",
"info": "Emacs Lisp is a dialect of the Lisp programming language used as a scripting language by the Emacs text editor, allowing for customization and extension of Emacs capabilities.",
"src": "https://www.gnu.org/software/emacs/manual/html_node/elisp/"
},
{
"name": "EmberScript",
"info": "EmberScript is a CoffeeScript-derived scripting language that compiles to JavaScript, designed to enhance the productivity of developing ambitious web applications using the Ember.js framework.",
"src": "https://emberscript.com/"
},
{
"name": "Erlang",
"info": "Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Erlang's runtime system has built-in support for concurrency, distribution, and fault tolerance.",
"src": "https://www.erlang.org/"
},
{
"name": "F#",
"info": "F# is a strongly typed, functional-first programming language that also supports imperative and object-oriented programming. It runs on the .NET framework and is known for its concise and robust code style.",
"src": "https://fsharp.org/"
},
{
"name": "F*",
"info": "F* is a functional programming language with effects aimed at program verification, offering a dependent type system and a verification tool that generates proofs of correctness.",
"src": "https://www.fstar-lang.org/"
},
{
"name": "FIGlet Font",
"info": "FIGlet is a program for creating large text out of ordinary screen characters, often used in text-based user interfaces and online forums.",
"src": "http://www.figlet.org/"
},
{
"name": "FLUX",
"info": "FLUX is not a programming language but may refer to various tools and technologies related to data flow or processing, such as the scripting language for InfluxDB.",
"src": "https://www.influxdata.com/"
},
{
"name": "Factor",
"info": "Factor is a concatenative, stack-based programming language influenced by Forth. It is designed for high-level features including dynamic types, macros, and garbage collection, aiming at simplicity and expressiveness with a full-featured library.",
"src": "https://factorcode.org/"
},
{
"name": "Fancy",
"info": "Fancy is an object-oriented, dynamically typed programming language inspired by Ruby, Smalltalk, and Erlang with first-class continuations and an actor-based concurrency model.",
"src": "https://fancy-lang.org/"
},
{
"name": "Fantom",
"info": "Fantom is a portable programming language designed to scale from shell scripts to large server-side applications. It features a familiar Java-like syntax, with static and dynamic typing capabilities.",
"src": "https://fantom.org/"
},
{
"name": "Faust",
"info": "Faust (Functional Audio Stream) is a functional programming language specifically designed for real-time signal processing and synthesis. It provides a high-level approach to efficient sound synthesis.",
"src": "https://faust.grame.fr/"
},
{
"name": "Filebench WML",
"info": "Filebench WML (Workload Modeling Language) is used within the Filebench framework to create models of file system and storage workloads for simulation and performance analysis.",
"src": "https://github.com/filebench/filebench"
},
{
"name": "Forth",
"info": "Forth is a stack-based, procedural, imperative programming language known for its portability, compact syntax, and ability to directly manipulate memory and hardware.",
"src": "https://www.forth.com/starting-forth/"
},
{
"name": "Fortran",
"info": "Fortran is a high-level language, originally developed by IBM in the 1950s for scientific and engineering applications. It excels in numerical computation and scientific computing.",
"src": "https://gcc.gnu.org/fortran/"
},
{
"name": "Fortran Free Form",
"info": "Fortran Free Form refers to the modern syntax style of the Fortran programming language that allows greater flexibility in formatting than the older fixed form.",
"src": "https://gcc.gnu.org/onlinedocs/gfortran/Free-Form.html"
},
{
"name": "FreeMarker",
"info": "FreeMarker is a template engine designed to generate text output based on templates. It is used primarily for generating HTML web pages or to source code generation.",
"src": "https://freemarker.apache.org/"
},
{
"name": "Frege",
"info": "Frege is a purely functional programming language in the spirit of Haskell, running on the Java Virtual Machine and bringing functional programming to the Java platform.",
"src": "https://github.com/Frege/frege"
},
{
"name": "Futhark",
"info": "Futhark is a data-parallel, purely functional programming language designed to be compiled to efficient GPU code, aiming at high-performance applications.",
"src": "https://futhark-lang.org/"
},
{
"name": "G-code",
"info": "G-code is the common name for the most widely used numerical control (NC) programming language, which has many implementations. Used mainly in automation, it is part of the instruction set that directs a machine on how to operate.",
"src": "https://www.reprap.org/wiki/G-code"
},
{
"name": "GAML",
"info": "GAML is a domain-specific language used within the GAMA modeling and simulation platform, designed to describe complex systems such as ecological and urban systems.",
"src": "https://gama-platform.github.io/"
},
{
"name": "GAMS",
"info": "GAMS (General Algebraic Modeling System) is a high-level modeling system for mathematical programming problems, including optimization and microeconomic analysis.",
"src": "https://www.gams.com/"
},
{
"name": "GAP",
"info": "GAP (Groups, Algorithms, Programming) is a system for computational discrete algebra with particular emphasis on computational group theory, aimed at solving complex mathematical problems.",
"src": "https://www.gap-system.org/"
},
{
"name": "GCC Machine Description",
"info": "GCC Machine Description is not a programming language but part of the GCC compiler that describes machine-specific details in high-level code, allowing GCC to generate optimized output.",
"src": "https://gcc.gnu.org/onlinedocs/gccint/Machine-Desc.html"
},
{
"name": "GDB",
"info": "GDB (GNU Debugger) is a powerful debugger for Unix-like systems, designed to help programmers see what is going on 'inside' another program while it executes or what another program was doing at the moment it crashed.",
"src": "https://www.sourceware.org/gdb/current/onlinedocs/gdb/"
},
{
"name": "GDScript",
"info": "GDScript is a high-level, dynamically typed programming language used to create content within the Godot Engine. It's syntax and functionality are similar to Python, optimized for the creation of complex, interactive 3D and 2D games.",
"src": "https://docs.godotengine.org/en/stable/tutorials/scripting/gdscript/gdscript_basics.html"
},
{
"name": "GLSL",
"info": "GLSL (OpenGL Shading Language) is used for writing shaders within OpenGL API, allowing for more control over the graphics pipeline and facilitating the creation of visually complex scenes in real-time applications.",
"src": "https://www.khronos.org/opengl/wiki/Core_Language_(GLSL)"
},
{
"name": "GN",
"info": "GN is a meta-build system that generates NinjaBuild files. It's designed to be faster and simpler than GYP and is used by projects like Chromium for managing complex build configurations.",
"src": "https://gn.googlesource.com/gn/"
},
{
"name": "Game Maker Language",
"info": "Game Maker Language (GML) is an interpreted programming language designed for use with the GameMaker Studio game creation system. It allows developers to create games in a simple programming environment.",
"src": "https://manual.yoyogames.com/GameMaker_Language/GML_Overview.htm"
},
{
"name": "Genie",
"info": "Genie is a modern, high-level programming language similar in syntax to Python, Vala, and Pascal, with a focus on clean, object-oriented design and aims to bring such language features to GNOME developers.",
"src": "https://wiki.gnome.org/Projects/Genie"
},
{
"name": "Genshi",
"info": "Genshi is a Python toolkit for generation of output for the web, focusing on XML-based templates. It is particularly aimed at web applications, providing an HTML/XML templating system.",
"src": "https://genshi.edgewall.org/"
},
{
"name": "Gentoo Ebuild",
"info": "Gentoo Ebuild is a script used by the Portage package management system in Gentoo Linux to automate the building of software packages. Ebuild scripts specify metadata about the software and instructions for compiling and installing it.",
"src": "https://devmanual.gentoo.org/ebuild-writing/"
},
{
"name": "Gentoo Eclass",
"info": "Gentoo Eclass files are framework extensions for Ebuild scripts, providing shared functions that help in code reuse among different Ebuilds in the Gentoo Linux distribution.",
"src": "https://devmanual.gentoo.org/eclass-reference/"
},
{
"name": "Gerber Image",
"info": "Gerber Image files, referred to as Gerber files, are ASCII vector format files used in PCB design. They represent copper layers, solder mask, and other aspects of PCB design for manufacturing.",
"src": "https://www.ucamco.com/files/downloads/file/81/the_gerber_file_format_specification.pdf"
},
{
"name": "Gettext Catalog",
"info": "Gettext Catalog files, typically with a .po extension, are used by the GNU 'gettext' localization framework. They contain translatable content of software projects enabling multi-language support.",
"src": "https://www.gnu.org/software/gettext/manual/gettext.html#PO-Files"
},
{
"name": "Gherkin",
"info": "Gherkin is a domain-specific language for writing acceptance criteria in Behavior Driven Development (BDD). It allows expected software behaviors to be specified in a logical language that customers can understand.",
"src": "https://cucumber.io/docs/gherkin/"
},
{
"name": "Git Attributes",
"info": "Git Attributes are a configuration mechanism for Git repository attributes. They allow you to specify attributes per path that affect how changes to those paths are recorded or checked out.",
"src": "https://git-scm.com/book/en/v2/Customizing-Git-Git-Attributes"
},
{
"name": "Git Config",
"info": "Git Config is used to set configuration options for Git, including user preferences and project-specific settings across three levels: local, global, and system. This allows customization of Git behavior for individual projects or the entire system.",
"src": "https://git-scm.com/docs/git-config"
},
{
"name": "Glyph",
"info": "Currently, there is no specific programming or scripting language named 'Glyph' commonly recognized. It might refer to glyph icons or graphical representations in software applications.",
"src": "N/A"
},
{
"name": "Gnuplot",
"info": "Gnuplot is a portable command-line driven graphing utility for Linux, OS/2, MS Windows, OSX, VMS, and many other platforms. It is used to plot 2D and 3D data for scientific applications.",
"src": "http://www.gnuplot.info/documentation.html"
},
{
"name": "Go",
"info": "Go is an open source programming language that makes it easy to build simple, reliable, and efficient software. It is statically typed with syntax and environment designed for efficiency, clarity, and safety.",
"src": "https://golang.org"
},
{
"name": "Golo",
"info": "Golo is a simple dynamic, weakly-typed language for the JVM. It provides a lightweight feel with a high-performance runtime leveraging Java’s invokedynamic.",
"src": "https://golo-lang.org/documentation/next/index.html"
},
{
"name": "Gosu",
"info": "Gosu is a statically typed programming language that runs on the Java Virtual Machine. Its design is geared towards simplicity and ease of use, with features from scripting languages.",
"src": "https://gosu-lang.github.io/"
},
{
"name": "Grace",
"info": "Grace is an educational programming language that is classically object-oriented and designed to help novices learn about programming. Its design encourages the development of well-structured software.",
"src": "http://gracelang.org/applications/"
},
{
"name": "Gradle",
"info": "Gradle is a powerful build system for the JVM. It is designed to support complex workflows involving compilation, packaging, and deployment of applications.",
"src": "https://gradle.org/guides/"
},
{
"name": "Grammatical Framework",
"info": "Grammatical Framework (GF) is a programming language for creating multilingual translation systems. It separates the grammatical structure of a language from its lexical content, making it reusable across languages.",
"src": "https://www.grammaticalframework.org/"
},
{
"name": "Graph Modeling Language",
"info": "Graph Modeling Language (GML) is a hierarchical ASCII-based file format for describing graphs. It is widely used in data visualization and network analysis software.",
"src": "https://infosys.uni-saarland.de/publications/GML/gml-tr.pdf"
},
{
"name": "GraphQL",
"info": "GraphQL is a query language for APIs and a runtime for executing those queries by using a type system you define for your data. It provides a more efficient, powerful and flexible alternative to REST.",
"src": "https://graphql.org/"
},
{
"name": "Graphviz (DOT)",
"info": "Graphviz is open source graph visualization software. Graph visualization is a way of representing structural information as diagrams of abstract graphs and networks.",
"src": "https://graphviz.org/documentation/"
},
{
"name": "Groovy",
"info": "Groovy is an agile and dynamic language for the Java Virtual Machine. It builds upon the strengths of Java but has additional power features inspired by languages like Python, Ruby, and Smalltalk.",
"src": "https://groovy-lang.org/documentation.html"
},
{
"name": "Groovy Server Pages",
"info": "Groovy Server Pages (GSP) is a view technology which allows mixing of Groovy code and HTML to generate dynamic web content in a similar way to Java Server Pages (JSP).",
"src": "https://docs.groovy-lang.org/docs/next/html/documentation/template-engines.html#_groovy_server_pages_gsp"
},
{
"name": "HAProxy",
"info": "HAProxy is a free, open source software that provides a high availability load balancer and proxy server for TCP and HTTP-based applications. It is particularly suited for web sites scaling out, ensuring high availability and performance.",
"src": "https://www.haproxy.org/"
},
{
"name": "HCL",
"info": "HashiCorp Configuration Language (HCL) is a configuration language built by HashiCorp that's used in various HashiCorp tools, including Terraform, to combine configuration data with a scripting language to allow for dynamic builds.",
"src": "https://www.terraform.io/docs/language/syntax/configuration.html"
},
{
"name": "HLSL",
"info": "High-Level Shading Language (HLSL) is a programming language for writing shaders used in computer graphics for applications such as video games. It works with DirectX to define the appearance of 3D and 2D models.",
"src": "https://docs.microsoft.com/en-us/windows/win32/direct3dhlsl/dx-graphics-hlsl"
},
{
"name": "HTML",
"info": "HTML (Hypertext Markup Language) is the standard markup language used for creating web pages and web applications. It provides the basic structure of sites, which is enhanced and modified by other technologies like CSS and JavaScript.",
"src": "https://developer.mozilla.org/en-US/docs/Web/HTML"
},
{
"name": "HTML+Django",
"info": "HTML+Django refers to the use of HTML in the Django web framework. Django templates use HTML for the layout and structure of a web page, enhanced by Django Template Language (DTL) for dynamic content generation.",
"src": "https://docs.djangoproject.com/en/3.2/topics/templates/"
},
{
"name": "HTTP",
"info": "HTTP (Hypertext Transfer Protocol) is an application-layer protocol for transmitting hypermedia documents, such as HTML. It is the foundation of any data exchange on the Web and it is a client-server protocol.",
"src": "https://developer.mozilla.org/en-US/docs/Web/HTTP"
},
{
"name": "HXML",
"info": "HXML files are configuration files used with the Haxe compiler. They specify options for building projects and can include commands like which Haxe files to compile, libraries to use, and output parameters.",
"src": "https://haxe.org/manual/compiler-usage-hxml.html"
},
{
"name": "Hack",
"info": "Hack is a programming language for the HipHop Virtual Machine (HHVM), designed by Facebook to serve as a successor to PHP. Hack inter-operates seamlessly with PHP and offers type annotations for improved code quality.",
"src": "https://hacklang.org/"
},
{
"name": "Haml",
"info": "Haml (HTML Abstraction Markup Language) is a templating engine designed to avoid writing inline code in a web document and to make the HTML cleaner. It's a markup language that's used to cleanly and simply describe the HTML of any web document without the use of inline code.",
"src": "http://haml.info/"
},
{
"name": "Handlebars",
"info": "Handlebars is a popular templating engine that is powerful, mustache-compatible, and allows you to build semantic templates effectively with no frustration. It keeps the view and the code separated like we're used to doing with client-side JavaScript frameworks.",
"src": "https://handlebarsjs.com/"
},
{
"name": "Harbour",
"info": "Harbour is an open-source compiler for the xBase superset language often used to build database applications. It is a cross-platform environment and is backward-compatible with most Clipper codebases.",
"src": "https://harbour.github.io/"
},
{
"name": "Haskell",
"info": "Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is known for its rich type system and lazy evaluation features.",
"src": "https://www.haskell.org/"
},
{
"name": "Haxe",
"info": "Haxe is an open source toolkit based on a modern, high-level, strictly typed programming language, a cross-compiler, a complete cross-platform standard library and ways to access each platform's native capabilities.",
"src": "https://haxe.org/"
},
{
"name": "HiveQL",
"info": "HiveQL is a query language used by Apache Hive, similar to SQL, designed for managing and querying large datasets residing in distributed storage using Apache Hadoop. It supports analysis, data summarization, and ad-hoc querying.",
"src": "https://cwiki.apache.org/confluence/display/Hive/LanguageManual"
},
{
"name": "HolyC",
"info": "HolyC is the programming language for TempleOS, an operating system made by Terry A. Davis. It is a variation of C/C++ designed to work closely with the Temple Operating System.",
"src": "https://templeos.holyc.xyz/Wb/Doc/HolyC.html"
},
{
"name": "Hy",
"info": "Hy is a dialect of Lisp that's embedded in Python. It aims to bring the expressive power of Lisp to Python's rich ecosystem, allowing Lisp code to interact seamlessly with Python modules.",
"src": "https://docs.hylang.org/en/stable/"
},
{
"name": "HyPhy",
"info": "HyPhy (Hypothesis Testing using Phylogenies) is software designed to perform complex analyses of genetic sequence data and test evolutionary hypotheses. It is used primarily for the statistical analysis of DNA and protein sequences.",
"src": "https://hyphy.org/"
},
{
"name": "IDL",
"info": "The Interactive Data Language (IDL) is a programming language used for data analysis, visualization, and cross-platform application development. It is popular in astronomy and other sciences and is known for its ease in handling large arrays of data.",
"src": "https://www.l3harrisgeospatial.com/Software-Technology/IDL"
},
{
"name": "IGOR Pro",
"info": "IGOR Pro is a scientific data analysis software, providing advanced capabilities for data visualization, complex graphing, and sophisticated analysis for scientists and engineers.",
"src": "https://www.wavemetrics.com/products/igorpro/igorpro.htm"
},
{
"name": "INI",
"info": "INI files are simple text files with a basic structure composed of sections, properties, and values, used extensively for configuration purposes by various software programs.",
"src": "https://en.wikipedia.org/wiki/INI_file"
},
{
"name": "Idris",
"info": "Idris is a general-purpose functional programming language with dependent types, focused on proving properties of programs. It is similar to Haskell and aims at enabling practical programming with dependent types.",
"src": "https://www.idris-lang.org/"
},
{
"name": "Inform 7",
"info": "Inform 7 is a design system for interactive fiction based on natural language, making it accessible to non-programmers. It allows for writing complex interactive stories and games.",
"src": "http://inform7.com/"
},
{
"name": "Inno Setup",
"info": "Inno Setup is a free script-driven installation system created in Delphi by Jordan Russell. It is used for packaging and distributing Windows applications.",
"src": "http://www.jrsoftware.org/isinfo.php"
},
{
"name": "Io",
"info": "Io is a pure object-oriented programming language inspired by Smalltalk, designed for creating prototypes and applications through its dynamic type system and powerful syntax.",
"src": "https://iolanguage.org/"
},
{
"name": "Ioke",
"info": "Ioke is a dynamic, strongly typed, prototype-based programming language targeted at virtual machines, with a syntax and capabilities similar to Io but with influences from Ruby and Lisp.",
"src": "https://ioke.org/"
},
{
"name": "Isabelle",
"info": "Isabelle is a popular generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas within a logical calculus.",
"src": "https://isabelle.in.tum.de/"
},
{
"name": "J",
"info": "J is an array programming language based primarily on APL but utilizing ASCII characters. It is suited for mathematical and statistical programming, especially when dealing with complex data.",
"src": "https://www.jsoftware.com/"
},
{
"name": "JFlex",
"info": "JFlex is a lexical analyzer generator (also known as scanner generator) for Java, accepting a specification file containing regular expressions describing the tokens of the language and producing a Java program that reads an input stream and partitions it into tokens.",
"src": "https://jflex.de/"
},
{
"name": "JSON",
"info": "JSON (JavaScript Object Notation) is a lightweight data-interchange format that is easy for humans to read and write and for machines to parse and generate. It is based on a subset of the JavaScript Programming Language and is commonly used for transmitting data in web applications.",
"src": "https://www.json.org/json-en.html"
},
{
"name": "JSON5",
"info": "JSON5 is a superset of JSON that aims to alleviate some of the limitations of JSON by extending its syntax to include some productions from ECMAScript 5.1. It allows for more human-friendly JSON files, with features such as comments, trailing commas, and more.",
"src": "https://json5.org/"
},
{
"name": "JSONiq",
"info": "JSONiq is a query and processing language specifically designed for JSON data. This language enables developers to process, transform, and query JSON data similarly to XML data using XQuery.",
"src": "http://jsoniq.org/"
},
{
"name": "Jasmin",
"info": "Jasmin is an assembler for the Java Virtual Machine. It allows developers to create Java applets and applications in an assembly-like syntax by directly coding the JVM instruction set and directives.",
"src": "https://jasmin.sourceforge.net/"
},
{
"name": "Java",
"info": "Java is a high-level, class-based, object-oriented programming language that is designed to have as few implementation dependencies as possible. It is a general-purpose programming language intended to let application developers write once, run anywhere (WORA).",
"src": "https://www.oracle.com/java/"
},
{
"name": "Java Properties",
"info": "Java Properties files are used in Java programming to maintain project configuration data, database config or project settings etc. They are saved in a simple key-value format and can be read both by humans and through machine code.",
"src": "https://en.wikipedia.org/wiki/.properties"
},
{
"name": "Java Server Pages",
"info": "Java Server Pages (JSP) is a technology that helps software developers create dynamically generated web pages based on HTML, XML, or other document types. Released in 1999 by Sun Microsystems, JSP is similar to PHP and ASP, but it uses the Java programming language.",
"src": "https://www.oracle.com/java/technologies/jspt.html"