|
|
Haskell |
4 |
Agda mode for Yi |
Nov 15, 2021 |
|
|
Haskell |
61 |
agda-mode for neovim |
Aug 07, 2022 |
|
|
Reason |
59 |
agda-mode on Atom |
Jun 11, 2021 |
|
|
Agda |
3 |
Tutorial for Cubical mode in Agda |
Jan 16, 2021 |
|
|
ReScript |
4 |
A collection of reusable React hooks |
Feb 07, 2022 |
chainlink-historic-data-utils
|
ReScript |
4 |
None |
Nov 16, 2021 |
|
|
ReScript |
4 |
An Experimental Evaluation for Database Configuration Tuning |
May 14, 2022 |
|
|
ReScript |
4 |
koa.js bindings for ReScript |
Jun 20, 2022 |
|
|
ReScript |
4 |
ReScript bindings for React Helmet, a document head manager for React |
Apr 13, 2022 |
|
|
ReScript |
4 |
None |
Feb 09, 2022 |
|
|
ReScript |
5 |
Bisect_ppx + ReScript starter repo |
Nov 06, 2021 |
|
|
ReScript |
6 |
🚧 WIP: Gatsby blog template using Rescript 🍭 |
Mar 09, 2022 |
|
|
ReScript |
6 |
Official Sublime Text plugin for ReScript. |
Jul 19, 2022 |
|
|
ReScript |
7 |
Modern, custom HUD for Team Fortress 2 |
Jun 19, 2022 |
|
|
ReScript |
7 |
ReScript bindings generator for the react-feather icon library |
Nov 11, 2021 |
|
|
ReScript |
7 |
Adds the Portal 2 singleplayer campaign to the multiplayer (and does it well unlike some … |
Aug 22, 2022 |
|
|
ReScript |
7 |
한글 숫자로 변환해주는 리스크립트 모듈 |
Jun 28, 2022 |
|
|
ReScript |
8 |
None |
Dec 11, 2021 |
|
|
ReScript |
9 |
A modern and darker UI for steam (this skins is known as the Metro Skin) |
Jun 12, 2022 |
|
|
ReScript |
9 |
Repo to accompany my ongoing blog series on Rescript |
Feb 14, 2022 |
|
|
ReScript |
10 |
Former D'Âme Bio front-end |
Apr 07, 2022 |
|
|
ReScript |
11 |
Generator builder for Pixel Papercraft. |
Jul 03, 2022 |
|
|
ReScript |
12 |
rescript와 react 예제 모음 |
Mar 10, 2022 |
|
|
ReScript |
12 |
Automated rocket jump world record uploads. |
Apr 22, 2022 |
|
|
ReScript |
13 |
Bindings to JavaScript primitive Set and Map types |
Feb 10, 2022 |
|
|
ReScript |
13 |
Game assets for Team Comtress 2 |
Jun 08, 2022 |
|
|
ReScript |
14 |
Color constrast helpers for the WCAG 2.0 standard |
Feb 07, 2022 |
|
|
ReScript |
14 |
Create and run source2 mods the old fashioned way, without the workshop, in VR and/or … |
May 12, 2022 |
|
|
ReScript |
220 |
🛢 Dumping things, so you don't have to |
Aug 11, 2022 |
|
|
ReScript |
250 |
Official VSCode plugin for ReScript |
Aug 21, 2022 |
|
|
ReScript |
282 |
Clearly a repo about websockets and their comparison... |
Aug 24, 2022 |
|
|
ReScript |
349 |
Official ReScript bindings for ReactJS |
Aug 13, 2022 |
|
|
ReScript |
394 |
📥 Game Tracker: Counter-Strike: Global Offensive |
Aug 19, 2022 |
|
|
ReScript |
550 |
Fluent for Steam. A simple skin for steam to make it look like windows 11. |
Jun 30, 2022 |
|
|
ReScript |
590 |
This non-official addon for Metro for Steam fixes bugs with the current version and adds … |
Aug 06, 2022 |
|
|
ReScript |
1085 |
Personas, an avatar generator by Draftbit |
Aug 16, 2022 |
|
|
ReScript |
2 |
a tf2 hud made by me |
Jan 11, 2022 |
|
|
ReScript |
64 |
⚡️⚛️ ReScript bindings for @chakra-ui/react |
Feb 03, 2023 |
|
|
ReScript |
22 |
⚡️ a Collections and Essential set of Library, Utility, & Tools for ReScript Lang especially … |
Oct 31, 2022 |
|
|
ReScript |
2 |
(WIP) ReScript bind for mapbox-gl |
Apr 05, 2021 |
|
|
ReScript |
13 |
⚡️ [Pulo.dev] with ReScript, React, Recoil, and Chakra |
Feb 06, 2023 |
|
|
ReScript |
3 |
Community site for Influence, a space strategy MMO running on the Ethereum blockchain. |
Oct 03, 2022 |
|
|
ReScript |
6 |
ReScript bindings for Ava |
Mar 25, 2023 |
|
|
ReScript |
17 |
🔒 Makes sure you don't accidentally deploy apps with missing or invalid environment variables |
Apr 22, 2023 |
|
|
ReScript |
13 |
Typesafe JSON schema for ReScript |
Apr 07, 2023 |
|
|
ReScript |
2 |
My personal standard library for ReScript |
Jan 06, 2023 |
|
|
ReScript |
8 |
Tool to support usage of a vendored standard library in ReScript |
Jan 31, 2023 |
|
|
ReScript |
62 |
Safely parse and serialize with transformation to convenient ReScript data structures |
Apr 25, 2023 |
|
|
ReScript |
9 |
A test app for exploring reason |
Mar 08, 2023 |
|
|
ReScript |
7 |
now known as voidHUD Classic |
Apr 02, 2023 |