This is stars and forks stats for /isabelle-prover/isabelle-go-codegen repository. As of 27 Apr, 2024 this repository has 0 stars and 1 forks.
Go Code Generation for Isabelle This repository contains a standalone Code Generation Target for the Go programming language for use with Isabelle2023. To use it, simply import the Go session defined herein into your own development, and import the Go_Setup theory. Code can then be exported in the usual way with export_code <name> in Go which produces code that can be used from Go. Trying it out This repository contains a test session Go_Test. If you have Isabelle2023 installed, just run the...
Go Code Generation for Isabelle This repository contains a standalone Code Generation Target for the Go programming language for use with Isabelle2023. To use it, simply import the Go session defined herein into your own development, and import the Go_Setup theory. Code can then be exported in the usual way with export_code <name> in Go which produces code that can be used from Go. Trying it out This repository contains a test session Go_Test. If you have Isabelle2023 installed, just run the...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| appwrite/website | SvelteSCSSTypeScript | 45 | +10 | 41 | +7 |
| PenguinMod/PenguinMod-Home | SvelteJavaScriptHTML | 5 | 0 | 8 | +3 |
| lwgover/lwgover.github.io | SvelteCSSJavaScript | 1 | 0 | 0 | 0 |
| raidendotai/openv0 | TypeScriptJavaScriptSvelte | 1.7k | +377 | 132 | +28 |
| laviii123/Btecky | HTMLPythonJavaScript | 275 | 0 | 507 | 0 |
| jimmy-byte/-HactoberFest2023-For_All_Beginers- | HTMLJavaScriptC++ | 1 | -237 | 3 | -716 |
| Karamraj/hacktoberfest2023 | C++HTMLC# | 25 | 0 | 75 | 0 |
| ayushsarode/CardConnect-HacktoberfestEdition23 | HTMLCSSJavaScript | 18 | 0 | 47 | 0 |
| Nikhil-2002/development_Hactoberfest23 | JavaScriptHTMLCSS | 24 | +6 | 52 | +25 |
| SyedImtiyaz-1/PreciousServices | JavaScriptCSSHTML | 103 | +1 | 123 | +1 |