|
|
Haskell |
4 |
Dotty prelude |
Nov 02, 2021 |
|
|
C |
5 |
Various Microsoft projects ported |
Aug 11, 2022 |
|
|
None |
14 |
Security Policies and Procedures for @feross projects |
Apr 15, 2022 |
|
|
None |
7 |
Dotty Community Build |
Mar 26, 2019 |
|
|
Scala |
2 |
riff for dotty |
Mar 04, 2021 |
|
|
Ruby |
2 |
Manage Stored Procedures in Migrations and Models in ActiveRecord |
Apr 22, 2014 |
|
|
Scala |
14 |
benchmark compilation of Dotty |
Jul 02, 2022 |
|
|
Scala |
3 |
benchmark compilation of Dotty |
Oct 09, 2020 |
|
|
None |
48 |
Typeclass proposal for Dotty |
Jun 02, 2019 |
|
|
Scala |
7 |
jaskell make for dotty |
Jul 03, 2022 |
|
|
Scala |
2 |
Hello, World! in Dotty |
Jun 23, 2016 |
|
|
C# |
15 |
Manage Projects |
Jan 31, 2023 |
|
|
Ruby |
75 |
Easily use and manage Postgres stored procedures with Active Record. |
Dec 19, 2019 |
|
|
Dockerfile |
4 |
Docker image for testing dotty and other projects in the LAMP EPFL org |
Oct 06, 2021 |
|
|
Scala |
24 |
XML String Interpolator for Dotty |
Jul 02, 2022 |
|
|
Scala |
109 |
experimental CPS transformer for dotty |
Aug 02, 2022 |
|
|
Haxe |
9 |
The PDF generation library ported from AlivePDF AS3 projects (ported the FPDF PHP project) |
Nov 08, 2019 |
|
|
None |
27 |
This repo holds feature requests for Dotty, bugs reports are at https://github.com/lampepfl/dotty |
Jul 07, 2022 |
|
|
Shell |
4 |
A WIP error index for Dotty |
Aug 01, 2022 |
|
|
JavaScript |
3 |
Expand dotty object keys to objects |
Feb 07, 2023 |
|
|
Scala |
2 |
a sisp parser made of dotty |
Jul 03, 2022 |
|
|
Python |
14 |
Manage Open edX projects |
Aug 08, 2022 |
|
|
Python |
3 |
Manage Python / Django projects |
Apr 11, 2023 |
|
|
Jupyter Notebook |
16 |
Project Documentation, Best Practices & Procedures for Spatial Analysis and Mapping Projects |
Mar 28, 2023 |
|
|
Scala |
2 |
shim which allows to compile scala program which use scala-async on dotty with dotty-cps-async |
Jan 11, 2023 |
|
|
None |
3 |
General procedures. |
Apr 04, 2023 |
|
|
Scala |
80 |
Various tasks solved via metaprogramming in Dotty |
Aug 17, 2022 |
|
|
Scala |
2 |
A receptor for Dotty LSP remote tracing |
Feb 25, 2023 |
|
|
None |
11 |
Study dotty source code using org-mode |
Oct 17, 2020 |
|
|
JavaScript |
5 |
👻 Manage your git projects |
Jul 20, 2022 |
|
|
Python |
7 |
Manage Zenodo projects with Python |
Jun 30, 2022 |
|
|
Ruby |
20 |
build and manage c++ projects |
Aug 23, 2016 |
|
|
None |
22 |
Standard operating procedures. |
Jul 09, 2022 |
|
|
Scala |
7 |
An implementation of ScalaLab for Scala 3 (Dotty) |
Feb 14, 2022 |
|
|
Scala |
321 |
An example sbt project that compiles using Dotty |
Aug 15, 2022 |
|
|
Scala |
5062 |
The Scala 3 compiler, also known as Dotty. |
Sep 04, 2022 |
|
|
Scala |
4 |
An example sbt project that compiles using Dotty |
Jul 07, 2022 |
|
|
C# |
8 |
A disciplined way to manage FluentMigration project and track change of stored procedures, sql function... |
Dec 06, 2022 |
|
|
PLpgSQL |
2 |
Converts SQL Server stored procedures to PostgreSQL compatible stored procedures |
Feb 24, 2023 |
|
|
PHP |
7 |
Manage git hooks for Laravel projects |
Nov 15, 2021 |
|
|
Python |
4 |
Cookiecutter template to manage Python projects |
Jan 31, 2023 |
|
|
Python |
2 |
Easily manage data between Firebase projects. |
Sep 15, 2022 |
|
|
PHP |
2 |
Manage monorepository projects deployment with Deployer |
Mar 14, 2021 |
|
|
Nix |
34 |
Manage your PureScript projects with Nix! |
Jul 18, 2022 |
|
|
Go |
51 |
Tools for developers to manage projects. |
Aug 28, 2022 |
|
|
Go |
76 |
Terraform provider to manage Artifactory Projects |
Aug 04, 2022 |
|
|
Go |
142 |
A CLI to manage Trellis projects |
Jul 27, 2022 |
|
|
TypeScript |
6 |
Manage coverage reporting for Salesforce projects |
Aug 06, 2018 |
|
|
Python |
2 |
Script to manage projects on OpenStack |
Apr 04, 2023 |
|
|
C |
115 |
Easily Manage Graphics in Xcode Projects |
Jan 12, 2023 |