|
|
Haskell |
221 |
Haskell/Java interop via inline Java code in Haskell modules. |
Aug 23, 2022 |
|
|
Haskell |
4 |
haskell source code formatter |
Jan 13, 2022 |
|
|
Haskell |
1311 |
Haskell source code suggestions |
Oct 19, 2022 |
|
|
Haskell |
685 |
haskell source code formatter |
Mar 11, 2023 |
|
|
Haskell |
24 |
Haskell source code formatter |
Oct 17, 2022 |
|
|
Haskell |
80 |
haskell source code visualizer |
May 22, 2023 |
|
|
Coq |
279 |
Convert Haskell source code to Coq source code |
Feb 13, 2023 |
|
|
Coq |
69 |
Convert Haskell source code to Coq source code. |
May 16, 2023 |
|
|
PHP |
2 |
Common code shared between our modules |
Mar 03, 2022 |
|
|
Haskell |
7 |
CircuitHub's Haskell source code formatter |
Jan 23, 2022 |
|
|
Shell |
45 |
Real World Haskell Source Code |
Feb 22, 2023 |
|
|
Haskell |
7 |
Convert haskell source files between hs and lhs formats |
Apr 27, 2023 |
|
|
Haskell |
3 |
Move Haskell modules, renaming module headers and import statements in the rest of files too |
Jan 07, 2021 |
|
|
C++ |
13 |
Counter Strike : Global Offensive Source Code |
Nov 17, 2022 |
|
|
Haskell |
764 |
A formatter for Haskell source code |
Aug 26, 2022 |
|
|
Emacs Lisp |
31 |
A formatter for Haskell source code |
May 10, 2022 |
|
|
Vim script |
37 |
Plugin for formatting Haskell source code |
Feb 27, 2023 |
|
|
Haskell |
2 |
Haskell source code for maximilian-huber.de |
Mar 12, 2021 |
|
|
HTML |
3 |
Source code for InterSystems Global Summit Sessions. |
Feb 19, 2018 |
|
|
CSS |
2 |
Source code for Global Construction Chemical website |
Oct 02, 2022 |
|
|
Haskell |
4 |
Convert Haskell source code to Template Haskell expressions using GHC's parser |
Sep 04, 2022 |
|
|
Haskell |
2 |
Introduce fresh variables into Haskell source code |
Dec 15, 2014 |
|
|
Haskell |
11 |
Tools to ease Haskell source code navigation |
Dec 23, 2021 |
|
|
Vim script |
178 |
Vim plug for switching between companion source files (e.g. ".h" and ".cpp") |
Aug 13, 2022 |
|
|
VimL |
2 |
Vim plug for switching between companion source files (e.g. ".h" and ".cpp") |
Jun 19, 2018 |
|
|
Haskell |
11 |
Generate graphviz dot-code by analyzing Haskell source code |
Mar 01, 2020 |
|
|
Java |
24 |
Source code of the openLCA modules |
Apr 17, 2023 |
|
|
Java |
8 |
Source code for Android specific modules |
Nov 21, 2021 |
|
|
JavaScript |
2 |
Documentation for the game Move or Die's source code |
Feb 01, 2022 |
|
|
Ruby |
6 |
Extracts and displays source code annotations, e.g. "# TODO: Something" |
Sep 09, 2017 |
|
|
Haskell |
119 |
Source Code from "Making Music with Haskell" video |
Sep 09, 2022 |
|
|
Haskell |
76 |
Search Haskell source code from the command line |
Aug 21, 2022 |
|
|
C++ |
6 |
Hosting the source code of the modules |
Nov 17, 2022 |
|
|
Move |
2 |
Source code repository for CertiK's blog on the Move Prover |
Jul 06, 2023 |
|
|
Python |
65 |
Data and Code for Reproducing "Global Relational Models of Source Code" |
Jul 26, 2022 |
|
|
TypeScript |
63 |
Transform and move code between repositories. Start with ZERO config and 100% customizable. |
Aug 23, 2022 |
|
|
VimL |
41 |
Integrates GNU GLOBAL source code tag system with VIM. |
Apr 15, 2023 |
|
|
Vim script |
2 |
Integrates GNU GLOBAL source code tag system with VIM. |
Aug 17, 2018 |
|
|
OCaml |
181 |
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code … |
Aug 07, 2022 |
|
|
Python |
20 |
Veniq uses Machine Learning to analyze source code, find possible refactorings, and suggest those that … |
Mar 17, 2023 |
|
|
Haskell |
16 |
Source code for 'Beginning Haskell' by Alejandro Serrano Mena |
Jul 15, 2022 |
|
|
Haskell |
40 |
Source Code for 'Practical Haskell' by Alejandro Serrano Mena |
Jul 14, 2022 |
|
|
Haskell |
77 |
Library for generating Haskell source files and code fragments. |
Jun 17, 2022 |
|
|
Haskell |
8 |
haskell source code optimizer (do automatic renames, style change of haskell and cabal files) |
Dec 05, 2019 |
|
|
JavaScript |
2 |
instrument NodeJS modules without touching their source code |
May 06, 2015 |
|
|
Go |
60 |
Easily move things between computers with a code phrase and https://cowyo.com :cow: :speech_balloon: |
Jun 08, 2022 |
|
|
JavaScript |
51 |
detect global and local lexical identifiers from javascript source code |
Apr 29, 2021 |
|
|
Visual Basic .NET |
14 |
Finding Valuable Needles in Global Source Code Haystacks with Automation |
Feb 11, 2021 |
|
|
C |
3 |
Source code behind the Rmath.h file (e.g. R's standalone RMath library) |
Nov 21, 2021 |
|
|
JavaScript |
2 |
Compares the source code between official repository and Etherscan's verified source |
Aug 24, 2022 |