SALT-NLP/Design2Code-HARD
This dataset consists of 80 extra difficult webpages from Github Pages, which challenges SoTA multimodal LLMs on converting visual designs into code implementations. Each example is a pair of source HTML and screenshot ({id}.html and {id}.png). See the "easy" version of the Design2Code testset here Note that all images in these webpages are replaced by a placeholder image (rick.jpg) Please refer to our project page and our paper for more information.
6379
1<!DOCTYPE html>2<html lang="en">3 <head>4 <style>5 * { position: relative; margin: 0; padding: 0; box-sizing: border-box; }6body { width: 75%; min-height: 100vh; margin: 0 auto; padding-bottom: 100px; color: #444; background-color:white;}7:root { font-size: 16px; font-family: monospace; }8 9header {10 display: flex;11 justify-content: space-between;12 padding: 10px 0;13 max-width: 960px;14 margin: 0 auto;15}16 17#pagelink {18 /* needed to make the $ the right color */19 color: #805AC3;20 font-size: 1.5em;21 font-weight: bold;22}23 24h1, h2 {25 color: black;26}27 28header nav {29 display: flex;30 align-items: center;31 justify-content: flex-end;32}33header nav a { margin-left: 20px; }34 35#hero { 36 display: flex; 37 justify-content: space-between;38 align-items: center;39 max-width: 960px;40 margin: 40px auto;41}42#hero h1 { font-size: 4rem; max-width: 640px; }43 44#hero nav { 45 display: flex; 46 flex-direction: column;47 width: 75%;48 margin-left: 30px;49}50#hero nav h2 { font-size: 2rem; }51 52section { max-width: 960px; margin: 0 auto; }53 54#projects { display: flex; flex-wrap: wrap; padding-bottom: 25px; }55#projects-list { display: flex; flex-wrap: wrap; padding-bottom: 25px; }56#projects h2 { width: 100%; color: #444;}57.project { width: 25%; min-width: 200px; padding: 20px 10px; }58.project img { display: inline-block; width: 1.5em; height: 1.5em; }59.project h3 { display: inline-block; font-size: 1.5em; }60.project a:hover { text-decoration: none; }61.project > a > h3:hover { text-decoration: underline; }62.repo-icons { float: right; }63.repo-icons img:not(.nofilter) {64 filter: invert(40%);65}66.author img { width: 1em; height: 1em; }67 68.shell { text-transform: lowercase; font-family: monospace; }69.prompt-sign:before { content: "$ "; }70 71 72#tags { display: flex; flex-wrap: wrap;}73.tag {74 background-color: #ada3be;75 margin: 5px 5px;76 padding: 3px;77 color: white;78 cursor: pointer;79}80 81.tag-selected {82 background-color: #805AC3;83}84 85.project-filtered {86 /* border: 1px solid #805AC3; */87 opacity: 0.5;88}89 90ul { margin: 20px; }91#irc li { list-style-type: none; }92.shell-list li:before { content: "$ "; font-family: monospace; }93li { padding: 3px 0; }94p { padding: 10px 0; }95p, li { max-width: 75ch; font-family: sans-serif; }96section > h2, section > h3 { padding-top: 15px; padding-bottom: 5px; }97 98.button {99 background-color: #805AC3;100 margin: 10px 0;101 padding: 10px;102 background-position: calc(100% - 5px) center;103 background-repeat: no-repeat;104 background-size: 30px auto;105 color: white;106}107 108.button.discord { background-image: url(/images/discord.svg); }109.button.reddit { 110 background-image: url(/images/reddit.svg); 111 background-size: auto 25px;112}113.button.irc { 114 background-image: url(/images/irc.svg); 115 background-size: 20px; 116 background-position-x: calc(100% - 8px);117}118 119a { color: #805AC3; text-decoration: none; }120a:hover { text-decoration: underline; }121span.author, cite { display: block; font-style: italic; margin-bottom: 5px; }122span.author:before { font-style: normal; content: "by "; }123 124@media (max-width: 960px) {125 header h1 { font-size: 1.25rem; }126 #hero { flex-direction: column; }127 #hero h1 { font-size: 3rem; text-align: center; margin-bottom: 30px; }128 #hero h2 { text-align: center; }129 #hero nav { margin-left: 0; }130 #projects { justify-content: center; }131 #projects h2 { text-align: center; }132}133 134@media (max-width: 720px) {135 body { width: 90%; }136 header { flex-direction: column; padding: 10px 0; }137 header h1 { text-align: center; }138 header nav { justify-content: center; margin-top: 10px; }139 header nav a:first-child { margin: 0; }140}141 142@media (max-width: 360px) {143 #hero h1 { font-size: 2rem; }144}145 146#pagelink::after {147 content: "_";148 animation: blinker 1.75s step-start infinite;149}150 151@keyframes blinker {152 30% {153 opacity: 0;154 }155}156 </style>157 <meta charset="utf-8"/>158 <meta content="width=device-width, initial-scale=1.0" name="viewport"/>159 <title>160 Programming Language Design161 </title>162 <!-- Filter projects by tags -->163 </head>164 <body>165 <header>166 <span class="shell prompt-sign" id="pagelink">167 <a>168 [URL Redacted]169 </a>170 </span>171 <nav>172 <a>173 Projects174 </a>175 <a>176 Resources177 </a>178 </nav>179 </header>180 <section id="hero">181 <h1>182 Programming Language Design183 </h1>184 <nav>185 <h2>186 Join us!187 </h2>188 <a class="shell button prompt-sign reddit">189 Subreddit190 </a>191 <a class="shell button prompt-sign irc">192 IRC193 </a>194 <a class="shell button prompt-sign discord">195 Discord196 </a>197 </nav>198 </section>199 <!-- Source of the many icons used here: https://github.com/simple-icons/simple-icons -->200 <!-- Exceptions: The Libera, Reddit, IRC, and Discord icons. I don't know where those are from. -->201 <section id="projects">202 <h2>203 Take a look at our projects204 </h2>205 <div data-all-tags="compiled,concurrent,first-class types,functional,imperative,interpreted,logic,multi-paradigm,non-programming language,object-oriented,parallel,pure,scripting,static types,strong types,systems" id="tags">206 <div class="shell tag">207 compiled208 </div>209 <div class="shell tag">210 concurrent211 </div>212 <div class="shell tag">213 first-class types214 </div>215 <div class="shell tag">216 functional217 </div>218 <div class="shell tag">219 imperative220 </div>221 <div class="shell tag">222 interpreted223 </div>224 <div class="shell tag">225 logic226 </div>227 <div class="shell tag">228 multi-paradigm229 </div>230 <div class="shell tag">231 non-programming language232 </div>233 <div class="shell tag">234 object-oriented235 </div>236 <div class="shell tag">237 parallel238 </div>239 <div class="shell tag">240 pure241 </div>242 <div class="shell tag">243 scripting244 </div>245 <div class="shell tag">246 static types247 </div>248 <div class="shell tag">249 strong types250 </div>251 <div class="shell tag">252 systems253 </div>254 </div>255 <!-- Liquid, the templating language, is incredibly underpowered. -->256 <!-- What follows is very ugly code that is not possible to improve due to lack of features. -->257 <div id="projects-list">258 <div class="project" data-tags="compiled,first-class types,functional,static types,strong types" id="project-[Name Redacted]">259 <span class="title">260 <a>261 <img alt="" src="rick.jpg"/>262 <h3>263 [Name Redacted]264 </h3>265 </a>266 </span>267 <span class="repo-icons">268 <a>269 <img alt="Discord" src="rick.jpg"/>270 </a>271 <a>272 <img alt="GitHub" src="rick.jpg"/>273 </a>274 </span>275 <span class="author">276 [Name Redacted]277 </span>278 <p>279 It is designed to be easy, yet powerful, compiling to LLVM and self-hosting. Our goal is for it to be faster than C and easier than Python.280 </p>281 </div>282 <div class="project" data-tags="" id="project-aec">283 <span class="title">284 <a>285 <img alt="" src="rick.jpg"/>286 <h3>287 AEC288 </h3>289 </a>290 </span>291 <span class="repo-icons">292 <a>293 <img alt="GitHub" src="rick.jpg"/>294 </a>295 </span>296 <span class="author">297 [Name Redacted]298 </span>299 <p>300 A low-level programming language with syntax inspired by BASIC and Ada. Right now, it can target x86 and WebAssembly.301 </p>302 </div>303 <div class="project" data-tags="" id="project-alox">304 <span class="title">305 <a>306 <img alt="" src="rick.jpg"/>307 <h3>308 Alox309 </h3>310 </a>311 </span>312 <span class="repo-icons">313 <a>314 <img alt="GitHub" src="rick.jpg"/>315 </a>316 </span>317 <span class="author">318 [Name Redacted]319 </span>320 <p>321 GPU-Accelerated, Distributed, Actor Model Language322 </p>323 </div>324 <div class="project" data-tags="" id="project-amp">325 <span class="title">326 <img alt="" src="rick.jpg"/>327 <h3>328 Amp329 </h3>330 </span>331 <span class="repo-icons">332 <a>333 <img alt="GitHub" src="rick.jpg"/>334 </a>335 </span>336 <span class="author">337 [Name Redacted]338 </span>339 <p>340 A minimalistic systems language for modern software341 </p>342 </div>343 <div class="project" data-tags="" id="project-amun">344 <span class="title">345 <a>346 <img alt="" src="rick.jpg"/>347 <h3>348 Amun349 </h3>350 </a>351 </span>352 <span class="repo-icons">353 <a>354 <img alt="GitHub" src="rick.jpg"/>355 </a>356 </span>357 <span class="author">358 [Name Redacted]359 </span>360 <p>361 A low-level programming language with a simple and productive design inspired by C/C++, Rust, Go, Jai.362 </p>363 </div>364 <div class="project" data-tags="" id="project-ante">365 <span class="title">366 <a>367 <img alt="" src="rick.jpg"/>368 <h3>369 Ante370 </h3>371 </a>372 </span>373 <span class="repo-icons">374 <a>375 <img alt="GitHub" src="rick.jpg"/>376 </a>377 </span>378 <span class="author">379 [Name Redacted]380 </span>381 <p>382 A compiled systems language focusing on providing extensibility through the use of a compile-time API.383 </p>384 </div>385 <div class="project" data-tags="interpreted,scripting,concurrent,parallel,multi-paradigm" id="project-argon">386 <span class="title">387 <a>388 <img alt="" src="rick.jpg"/>389 <h3>390 Argon391 </h3>392 </a>393 </span>394 <span class="repo-icons">395 <a>396 <img alt="GitHub" src="rick.jpg"/>397 </a>398 </span>399 <span class="author">400 [Name Redacted]401 </span>402 <p>403 Argon is an interpreted multi-paradigm programming language. Its syntax is influenced by many modern languages and aims to be elegant, clean and simple to use.404 </p>405 </div>406 <div class="project" data-tags="" id="project-calypso">407 <span class="title">408 <a>409 <img alt="" src="rick.jpg"/>410 <h3>411 Calypso412 </h3>413 </a>414 </span>415 <span class="repo-icons">416 <a>417 <img alt="Discord" src="rick.jpg"/>418 </a>419 <a>420 <img alt="GitHub" src="rick.jpg"/>421 </a>422 </span>423 <span class="author">424 [Name Redacted]425 </span>426 <p>427 Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.428 </p>429 </div>430 <div class="project" data-tags="compiled,pure,static types,strong types,imperative,multi-paradigm,systems" id="project-cella">431 <span class="title">432 <a>433 <img alt="" src="rick.jpg"/>434 <h3>435 Cella436 </h3>437 </a>438 </span>439 <span class="repo-icons">440 <a>441 <img alt="Discord" src="rick.jpg"/>442 </a>443 <a>444 <img alt="GitHub" src="rick.jpg"/>445 </a>446 </span>447 <span class="author">448 [Name Redacted]449 </span>450 <p>451 A strongly-typed minimalistic systems programming language with semantic side-effects and minimal runtime overhead452 </p>453 </div>454 <div class="project" data-tags="" id="project-c3">455 <span class="title">456 <a>457 <img alt="" src="rick.jpg"/>458 <h3>459 C3460 </h3>461 </a>462 </span>463 <span class="repo-icons">464 <a>465 <img alt="Discord" src="rick.jpg"/>466 </a>467 <a>468 <img alt="GitHub" src="rick.jpg"/>469 </a>470 </span>471 <span class="author">472 [Name Redacted]473 </span>474 <p>475 An evolution of C, adding modules, error handling and semantic macros.476 </p>477 </div>478 <div class="project" data-tags="" id="project-chaos">479 <span class="title">480 <a>481 <img alt="" src="rick.jpg"/>482 <h3>483 Chaos484 </h3>485 </a>486 </span>487 <span class="repo-icons">488 <a>489 <img alt="Gitter" src="rick.jpg"/>490 </a>491 <a>492 <img alt="Libera.Chat" class="nofilter" src="rick.jpg"/>493 </a>494 <a>495 <img alt="GitHub" src="rick.jpg"/>496 </a>497 </span>498 <span class="author">499 [Name Redacted]500 </span>501 <p>502 Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity.503 </p>504 </div>505 <div class="project" data-tags="" id="project-casc">506 <span class="title">507 <img alt="" src="rick.jpg"/>508 <h3>509 CASC510 </h3>511 </span>512 <span class="repo-icons">513 <a>514 <img alt="Discord" src="rick.jpg"/>515 </a>516 <a>517 <img alt="GitHub" src="rick.jpg"/>518 </a>519 </span>520 <span class="author">521 [Name Redacted]522 </span>523 <p>524 A JVM language focus on concise syntaxes and enhancing language features from Java.525 </p>526 </div>527 <div class="project" data-tags="" id="project-chika">528 <span class="title">529 <a>530 <img alt="" src="rick.jpg"/>531 <h3>532 Chika533 </h3>534 </a>535 </span>536 <span class="repo-icons">537 <a>538 <img alt="GitHub" src="rick.jpg"/>539 </a>540 </span>541 <span class="author">542 [Name Redacted]543 </span>544 <p>545 S-expression programming language, with VM targeting both PC and Arduino.546 </p>547 </div>548 <div class="project" data-tags="" id="project-closey">549 <span class="title">550 <img alt="" src="rick.jpg"/>551 <h3>552 Closey553 </h3>554 </span>555 <span class="repo-icons">556 <a>557 <img alt="GitHub" src="rick.jpg"/>558 </a>559 </span>560 <span class="author">561 [Name Redacted]562 </span>563 <p>564 A functional language that aims to be as simple as possible but as efficient and user friendly as possible.565 </p>566 </div>567 <div class="project" data-tags="" id="project-cognate">568 <span class="title">569 <a>570 <img alt="" src="rick.jpg"/>571 <h3>572 Cognate573 </h3>574 </a>575 </span>576 <span class="repo-icons">577 <a>578 <img alt="GitHub" src="rick.jpg"/>579 </a>580 </span>581 <span class="author">582 [Name Redacted]583 </span>584 <p>585 A highly readable quasi-concatenative dynamic language.586 </p>587 </div>588 <div class="project" data-tags="" id="project-cone">589 <span class="title">590 <a>591 <img alt="" src="rick.jpg"/>592 <h3>593 Cone594 </h3>595 </a>596 </span>597 <span class="repo-icons">598 <a>599 <img alt="GitHub" src="rick.jpg"/>600 </a>601 </span>602 <span class="author">603 [Name Redacted]604 </span>605 <p>606 A fast, fit, friendly, and safe systems programming language to power the 3D web.607 </p>608 </div>609 <div class="project" data-tags="" id="project-core">610 <span class="title">611 <a>612 <img alt="" src="rick.jpg"/>613 <h3>614 Core615 </h3>616 </a>617 </span>618 <span class="repo-icons">619 <a>620 <img alt="GitHub" src="rick.jpg"/>621 </a>622 </span>623 <span class="author">624 [Name Redacted]625 </span>626 <p>627 a modern, minimal programming language628 </p>629 </div>630 <div class="project" data-tags="" id="project-dyvil">631 <span class="title">632 <a>633 <img alt="" src="rick.jpg"/>634 <h3>635 Dyvil636 </h3>637 </a>638 </span>639 <span class="repo-icons">640 <a>641 <img alt="GitHub" src="rick.jpg"/>642 </a>643 </span>644 <span class="author">645 [Name Redacted]646 </span>647 <p>648 A multi-paradigm, general purpose language for the JVM, with an extensible syntax.649 </p>650 </div>651 <div class="project" data-tags="" id="project-egel">652 <span class="title">653 <a>654 <img alt="" src="rick.jpg"/>655 <h3>656 Egel657 </h3>658 </a>659 </span>660 <span class="repo-icons">661 <a>662 <img alt="GitHub" src="rick.jpg"/>663 </a>664 </span>665 <span class="author">666 [Name Redacted]667 </span>668 <p>669 An interpreter for eager untyped combinator rewriting implemented in C++.670 </p>671 </div>672 <div class="project" data-tags="" id="project-fennel">673 <span class="title">674 <a>675 <img alt="" src="rick.jpg"/>676 <h3>677 Fennel678 </h3>679 </a>680 </span>681 <span class="repo-icons">682 <a>683 <img alt="Libera.Chat" class="nofilter" src="rick.jpg"/>684 </a>685 <a>686 <img alt="GitHub" src="rick.jpg"/>687 </a>688 </span>689 <span class="author">690 [Name Redacted]691 </span>692 <p>693 A lisp which compiles to Lua with zero overhead, revived by technomancy.694 </p>695 </div>696 <div class="project" data-tags="" id="project-firefly">697 <span class="title">698 <a>699 <img alt="" src="rick.jpg"/>700 <h3>701 Firefly702 </h3>703 </a>704 </span>705 <span class="repo-icons">706 <a>707 <img alt="Discord" src="rick.jpg"/>708 </a>709 <a>710 <img alt="GitHub" src="rick.jpg"/>711 </a>712 </span>713 <span class="author">714 [Name Redacted]715 </span>716 <p>717 Full-stack language with colorless async/await and object capabilities.718 </p>719 </div>720 <div class="project" data-tags="" id="project-forthscript">721 <span class="title">722 <img alt="" src="rick.jpg"/>723 <h3>724 ForthScript725 </h3>726 </span>727 <span class="repo-icons">728 <a>729 <img alt="GitHub" src="rick.jpg"/>730 </a>731 </span>732 <span class="author">733 [Name Redacted]734 </span>735 <p>736 Simple yet powerful concatenative stack-based scripting lang with code-as-data paradigm. Aims to run on bare metal like FORTH!737 </p>738 </div>739 <div class="project" data-tags="" id="project-funcsug">740 <span class="title">741 <a>742 <img alt="" src="rick.jpg"/>743 <h3>744 FuncSug745 </h3>746 </a>747 </span>748 <span class="repo-icons">749 <a>750 <img alt="GitHub" src="rick.jpg"/>751 </a>752 </span>753 <span class="author">754 [Name Redacted]755 </span>756 <p>757 An alternative to event-driven programming that resolves the callback hell and the state management problem thanks to very structured concurrency and await-event instructions.758 </p>759 </div>760 <div class="project" data-tags="" id="project-futhark">761 <span class="title">762 <a>763 <img alt="" src="rick.jpg"/>764 <h3>765 Futhark766 </h3>767 </a>768 </span>769 <span class="repo-icons">770 <a>771 <img alt="GitHub" src="rick.jpg"/>772 </a>773 </span>774 <span class="author">775 [Name Redacted]776 </span>777 <p>778 A high-performance parallel functional array language targeting GPUs.779 </p>780 </div>781 <div class="project" data-tags="compiled,strong types,static types,object-oriented,imperative,multi-paradigm,interpreted" id="project-gera">782 <span class="title">783 <a>784 <img alt="" src="rick.jpg"/>785 <h3>786 Gera787 </h3>788 </a>789 </span>790 <span class="repo-icons">791 <a>792 <img alt="Discord" src="rick.jpg"/>793 </a>794 </span>795 <span class="author">796 [Name Redacted]797 </span>798 <p>799 A high-level, procedural, compiled and garbage collected programming language without type annotations.800 </p>801 </div>802 <div class="project" data-tags="" id="project-gwion">803 <span class="title">804 <a>805 <img alt="" src="rick.jpg"/>806 <h3>807 Gwion808 </h3>809 </a>810 </span>811 <span class="repo-icons">812 <a>813 <img alt="GitHub" src="rick.jpg"/>814 </a>815 </span>816 <span class="author">817 [Name Redacted]818 </span>819 <p>820 A strongly-timed musical programming language821 </p>822 </div>823 <div class="project" data-tags="" id="project-hascal">824 <span class="title">825 <a>826 <img alt="" src="rick.jpg"/>827 <h3>828 Hascal829 </h3>830 </a>831 </span>832 <span class="repo-icons">833 <a>834 <img alt="GitHub" src="rick.jpg"/>835 </a>836 </span>837 <span class="author">838 [Name Redacted]839 </span>840 <p>841 Hascal is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.842 </p>843 </div>844 <div class="project" data-tags="" id="project-h-hat">845 <span class="title">846 <a>847 <img alt="" src="rick.jpg"/>848 <h3>849 H-hat850 </h3>851 </a>852 </span>853 <span class="repo-icons">854 </span>855 <span class="author">856 [Name Redacted]857 </span>858 <p>859 A quantum programming language aimed to build quantum algorithms through a higher abstraction layer.860 </p>861 </div>862 <div class="project" data-tags="" id="project-hook">863 <span class="title">864 <a>865 <img alt="" src="rick.jpg"/>866 <h3>867 Hook868 </h3>869 </a>870 </span>871 <span class="repo-icons">872 <a>873 <img alt="Discord" src="rick.jpg"/>874 </a>875 <a>876 <img alt="GitHub" src="rick.jpg"/>877 </a>878 </span>879 <span class="author">880 [Name Redacted]881 </span>882 <p>883 An imperative, cross-platform, dynamically typed scripting language that utilizes a mutable value semantics approach.884 </p>885 </div>886 <div class="project" data-tags="" id="project-horse64">887 <span class="title">888 <a>889 <img alt="" src="rick.jpg"/>890 <h3>891 Horse64892 </h3>893 </a>894 </span>895 <span class="repo-icons">896 <a>897 <img alt="Git" src="rick.jpg"/>898 </a>899 </span>900 <span class="author">901 [Name Redacted]902 </span>903 <p>904 Dynamically typed but orderly, reducing chaos in large projects. A grounded Python-alike.905 </p>906 </div>907 <div class="project" data-tags="non-programming language" id="project-ilo token">908 <span class="title">909 <a>910 <img alt="" src="rick.jpg"/>911 <h3>912 ilo Token913 </h3>914 </a>915 </span>916 <span class="repo-icons">917 <a>918 <img alt="GitHub" src="rick.jpg"/>919 </a>920 </span>921 <span class="author">922 [Name Redacted]923 </span>924 <p>925 A rule-based dictionary-based Toki Pona to English translator that translates into multiple English outputs showing many possible grammatical and semantic interpretation of the text. No machine learning involved.926 </p>927 </div>928 <div class="project" data-tags="" id="project-imp">929 <span class="title">930 <a>931 <img alt="" src="rick.jpg"/>932 <h3>933 Imp934 </h3>935 </a>936 </span>937 <span class="repo-icons">938 <a>939 <img alt="GitHub" src="rick.jpg"/>940 </a>941 </span>942 <span class="author">943 [Name Redacted]944 </span>945 <p>946 A statically typed and compiled scripting language with the goal of increasing programmer confidence.947 </p>948 </div>949 <div class="project" data-tags="" id="project-inko">950 <span class="title">951 <a>952 <img alt="" src="rick.jpg"/>953 <h3>954 Inko955 </h3>956 </a>957 </span>958 <span class="repo-icons">959 <a>960 <img alt="GitLab" src="rick.jpg"/>961 </a>962 </span>963 <span class="author">964 [Name Redacted]965 </span>966 <p>967 A gradually typed, interpreted, object-oriented language drawing inspiration from many others.968 </p>969 </div>970 <div class="project" data-tags="" id="project-insitux">971 <span class="title">972 <a>973 <img alt="" src="rick.jpg"/>974 <h3>975 Insitux976 </h3>977 </a>978 </span>979 <span class="repo-icons">980 <a>981 <img alt="Discord" src="rick.jpg"/>982 </a>983 <a>984 <img alt="GitHub" src="rick.jpg"/>985 </a>986 </span>987 <span class="author">988 [Name Redacted]989 </span>990 <p>991 Extensible s-expression scripting language written in portable TypeScript.992 </p>993 </div>994 <div class="project" data-tags="" id="project-jank">995 <span class="title">996 <a>997 <img alt="" src="rick.jpg"/>998 <h3>999 jank1000 </h3>1001 </a>1002 </span>1003 <span class="repo-icons">1004 <a>1005 <img alt="GitHub" src="rick.jpg"/>1006 </a>1007 </span>1008 <span class="author">1009 [Name Redacted]1010 </span>1011 <p>1012 A Clojure dialect hosted on LLVM with native C++ interop.1013 </p>1014 </div>1015 <div class="project" data-tags="" id="project-jazz">1016 <span class="title">1017 <a>1018 <img alt="" src="rick.jpg"/>1019 <h3>1020 Jazz1021 </h3>1022 </a>1023 </span>1024 <span class="repo-icons">1025 <a>1026 <img alt="GitHub" src="rick.jpg"/>1027 </a>1028 </span>1029 <span class="author">1030 [Name Redacted]1031 </span>1032 <p>1033 A systems programming language with a JIT and AOT compiler that uses GCCJIT as backend.1034 </p>1035 </div>1036 <div class="project" data-tags="" id="project-jinx">1037 <span class="title">1038 <a>1039 <img alt="" src="rick.jpg"/>1040 <h3>1041 Jinx1042 </h3>1043 </a>1044 </span>1045 <span class="repo-icons">1046 <a>1047 <img alt="GitHub" src="rick.jpg"/>1048 </a>1049 </span>1050 <span class="author">1051 [Name Redacted]1052 </span>1053 <p>1054 A clean, embeddable scripting language designed with an asynchronous and thread-safe execution model.1055 </p>1056 </div>1057 <div class="project" data-tags="" id="project-kitten">1058 <span class="title">1059 <a>1060 <img alt="" src="rick.jpg"/>1061 <h3>1062 Kitten1063 </h3>1064 </a>1065 </span>1066 <span class="repo-icons">1067 <a>1068 <img alt="GitHub" src="rick.jpg"/>1069 </a>1070 </span>1071 <span class="author">1072 [Name Redacted]1073 </span>1074 <p>1075 A statically typed concatenative language with effect types.1076 </p>1077 </div>1078 <div class="project" data-tags="" id="project-peridot">1079 <span class="title">1080 <img alt="" src="rick.jpg"/>1081 <h3>1082 Peridot1083 </h3>1084 </span>1085 <span class="repo-icons">1086 <a>1087 <img alt="GitHub" src="rick.jpg"/>1088 </a>1089 </span>1090 <span class="author">1091 [Name Redacted]1092 </span>1093 <p>1094 A fast functional language based on two level type theory1095 </p>1096 </div>1097 <div class="project" data-tags="" id="project-lesma">1098 <span class="title">1099 <a>1100 <img alt="" src="rick.jpg"/>1101 <h3>1102 Lesma1103 </h3>1104 </a>1105 </span>1106 <span class="repo-icons">1107 <a>1108 <img alt="GitHub" src="rick.jpg"/>1109 </a>1110 </span>1111 <span class="author">1112 [Name Redacted]1113 </span>1114 <p>1115 A fast compiled, statically typed, pythonesque programming language.1116 </p>1117 </div>1118 <div class="project" data-tags="" id="project-lobster">1119 <span class="title">1120 <a>1121 <img alt="" src="rick.jpg"/>1122 <h3>1123 Lobster1124 </h3>1125 </a>1126 </span>1127 <span class="repo-icons">1128 <a>1129 <img alt="GitHub" src="rick.jpg"/>1130 </a>1131 </span>1132 <span class="author">1133 [Name Redacted]1134 </span>1135 <p>1136 Flow-senstitive type inference, specialization, compile-time reference counting, and Python-y syntax.1137 </p>1138 </div>1139 <div class="project" data-tags="" id="project-manool">1140 <span class="title">1141 <a>1142 <img alt="" src="rick.jpg"/>1143 <h3>1144 MANOOL1145 </h3>1146 </a>1147 </span>1148 <span class="repo-icons">1149 <a>1150 <img alt="GitHub" src="rick.jpg"/>1151 </a>1152 </span>1153 <span class="author">1154 [Name Redacted]1155 </span>1156 <p>1157 Programming language that combines high abstraction power with great control over asymptotic complexity and performance of your programs1158 </p>1159 </div>1160 <div class="project" data-tags="compiled,logic,pure,static types,strong types" id="project-mercury">1161 <span class="title">1162 <a>1163 <img alt="" src="rick.jpg"/>1164 <h3>1165 Mercury1166 </h3>1167 </a>1168 </span>1169 <span class="repo-icons">1170 <a>1171 <img alt="GitHub" src="rick.jpg"/>1172 </a>1173 </span>1174 <span class="author">1175 [Name Redacted]1176 </span>1177 <p>1178 A logic/functional programming language with advanced static analysis and error detection features.1179 </p>1180 </div>1181 <div class="project" data-tags="" id="project-mlatu">1182 <span class="title">1183 <a>1184 <img alt="" src="rick.jpg"/>1185 <h3>1186 Mlatu1187 </h3>1188 </a>1189 </span>1190 <span class="repo-icons">1191 <a>1192 <img alt="GitHub" src="rick.jpg"/>1193 </a>1194 </span>1195 <span class="author">1196 [Name Redacted]1197 </span>1198 <p>1199 Statically-typed, purely-functional, concatenative1200 </p>