profile
viewpoint
Johannes Bader olydis Santa Clara, CA, USA https://olydis.github.io/ Programming language, compiler, formal verification, etc. enthusiast

olydis/coq2latex 21

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

olydis/autorest 2

Swagger (OpenAPI) Specification code generator featuring C# and Razor templates. Supports C#, Java, Node.js, TypeScript, Python and Ruby.

olydis/AudioWar 0

An interactive HTML5 game using your whistling as input. Each Level corresponds to a certain song, so you will be most successful (and get a higher score) if you master the song.

olydis/autorest-extension-base 0

Library for easily creating AutoRest extensions

olydis/autorest-extension-helloworld 0

Simple example AutoRest extension

olydis/autorest.azureresourceschema 0

Extension for AutoRest (https://github.com/Azure/autorest) that generates Azure resource schemas

olydis/autorest.common 0

Common code shared between AutoRest (https://github.com/Azure/autorest) modeler and code generators

olydis/autorest.csharp 0

Extension for AutoRest (https://github.com/Azure/autorest) that generates C# code

startedAzure/adl

started time in a month

startedtj/n

started time in 2 months

push eventolydis/OpenRCT2

Johannes Bader

commit sha c768490cfc6ee0e109d9d19d688bebce60192cae

sh file mode

view details

push time in 2 months

create barncholydis/OpenRCT2

branch : macos

created branch time in 2 months

create barncholydis/lambada

branch : strict

created branch time in 2 months

push eventolydis/fractional-int

Johannes Bader

commit sha 4b044108d9257afa5deccd0d6bae9bc50869ec36

WIP

view details

push time in 2 months

push eventolydis/autorest.java

Johannes Bader

commit sha 9e4bc4183e3a20b8d7f4f75525a46ef69b3dad20

race condition?

view details

push time in 3 months

push eventolydis/autorest.java

Johannes Bader

commit sha 4466c6d047a177cd33fd95288e080c6335fb3b3b

finetune (#4)

view details

Garrett Serack

commit sha 7281628a1aa0f532c0d369d1b8ba4e78f4dd9ef5

Remove TargetFrameworks element

view details

Johannes Bader

commit sha 267202dcec347c43f635a12ca5628a8a492a2a94

new common package (#5)

view details

Garrett Serack

commit sha 4f4e0fab25683db0131eee37d70c6e2a91947c6a

Removed workaround for targetframeworks bug

view details

Johannes Bader

commit sha 2becccd7bff7e63e66e061c7f4f61d0838aea7f0

Update README.md

view details

Johannes Bader

commit sha b51060dc57b03342a9259379701ced6a9bb69da4

Cleanup (#6) * cleanup * regen stable * bump

view details

Johannes Bader

commit sha 9ccaaf13111fa5ccbf9a4f85639eeb4837cae54b

no AR home (#7)

view details

Johannes Bader

commit sha 9cb1802daf4abd372aa1a110b8e866398e9d410d

debugger (#8) * debugger * modeler * cleanup

view details

Rikki Gibson

commit sha dc326d74499537c93277c0974cff088965d53146

Generate Managers and POMs for Azure - Take 4 (#9) * Add generation of service manager and pom.xml * Add generation of service manager and pom.xml * Add setting to control whether to regenerate managers * Add setting to control whether to regenerate managers * Fix service name inference * Fix service name inference * Fix service name case and code duplication * Fix service name case and code duplication * Add SDK version number to CodeModelJva * Add SDK version number to CodeModelJva * Bump minor version only if patch version is nonzero * Bump minor version only if patch version is nonzero * Fix Azure target version constant This constant should become a parameter at some point anyway. * Update RegenerateManager flag. Fix string constant. * Fix header comment in Java Manager generation * Add -ServiceName flag to override inferred service name * Fix reference to storage manager in template * Add ServiceName to AutoRest 2 branch * Fix detection of sequence return types * Rebase azure-gen-manager-2 onto master * Fix regeneration script for fluent * Ignore .iml files in tests

view details

Dan Schulte

commit sha 749782c827cb1e279265909ab70bdcf2f2954dcb

Add ExpandableStringEnum to EnumTemplate.cshtml, fix LROSADsTests (#10) * Add ExpandableStringEnum to EnumTemplate.cshtml, fix LROSADsTests * Update version of client-runtime packages

view details

Johannes Bader

commit sha 605980440d8e1c996512ec7b9e0bdbe9eedbeee6

citest (#11)

view details

Johannes Bader

commit sha 9b4229a9426740596e23c13c880afffe9ec5678b

Consistent slashing (#12) * bump * consistent * bump * regen * POM * link fix * restore * I'm a moron

view details

Rikki Gibson

commit sha 0016f52be1e31f2582a251e2098b10d4f2178ca9

Update README.md (#13)

view details

Johannes Bader

commit sha fd02e7d24ce21c75ca0f9bca7d103a6dfd3eddf5

rel (#14)

view details

Garrett Serack

commit sha a2794f5fba22500ed344cdff7cb98257fe1ce598

update to using yarn for publishing (#15)

view details

Garrett Serack

commit sha 7589f8e1f7180b4c92f1b08b2cd1d05c8361ecfa

Clean publish with yarn (#16) * update to using yarn for publishing * Publish With Yarn

view details

Dan Schulte

commit sha d527ad44ba7771d4ce6fe942c76e9cc1d8545b7a

Simplify finding interfaces that an inner supports (#17)

view details

Johannes Bader

commit sha 48ed6df36027a7d253945a0412748f0352b3d746

Bump common (#18) * common * dotnet * bump * modeler

view details

Johannes Bader

commit sha a1cb59da3d8fc14ebc2684262a538df6e028c391

fix testserver version

view details

Johannes Bader

commit sha 69081a983071ab73dfa7fa29784460300cad514b

reference new testserver

view details

push time in 3 months

PR opened olydis/autorest.java

Test AWS CodeGuru 2
+5 -14

0 comment

1 changed file

pr created time in 3 months

create barncholydis/autorest.java

branch : olydis-patch-1

created branch time in 3 months

PR opened olydis/autorest.java

Test AWS CodeGuru
+346 -13

0 comment

6 changed files

pr created time in 3 months

more