User Activity
-
Committed
[e7e3a7]
on
Git
prove_tasking not quite there.
-
Committed
[59f373]
on
Git
prove_no_tasking proves.
-
Committed
[8648ff]
on
Git
log_off proves.
-
Committed
[81332f]
on
Git
SPARK
-
Committed
[23aa7b]
on
Git
SPARK prove for AdaCL.Text_IO
-
Committed
[13f711]
on
Git
develop pretty print.
-
Committed
[764b9b]
on
Git
Merge branch 'develop' of ssh://git.code.sf.net/p/adacl/git into develop
-
Committed
[d57660]
on
Git
Merge branch 'release/7.1.2' into develop
Personal Data
- Username:
- krischik
- Joined:
- 2003-01-26 17:00:21
- Location:
- Bern / Switzerland / CEST
- Gender:
- Male
Projects
This is a list of open source software projects that Martin Krischik is associated with:
-
6502 Tutorial A tutorial on cross compiling for the 6502 CPU Last Updated:
-
ASIS for GNAT Last Updated:
- Ada 95 Booch Components Last Updated:
-
Ada Class Library Ada Class Library - an object orientated library for Ada. Last Updated:
-
C2Ada Last Updated:
-
Calculator-Scripts Just a few scripts for pocket calculators. Last Updated:
-
Fit-Import Last Updated:
-
GLADE for GNAT Last Updated:
-
Mobile Open-Source Software and Tools Android, UIQ 3.0, Series 60 Edition 5 open-source software Last Updated:
-
Open_Image Last Updated:
-
Pi Ada Tutorial Bringing Freenove Experiments to Ada on the Raspberry Pi Pico Last Updated:
-
PmWiki to Markdown Converter Converts PMWiki to Markdown Last Updated:
-
Posix for GNAT Last Updated:
-
Scala to Kotlin Converter Convert Scala source code to Kotlin source code. Last Updated:
-
Steem Ruby Tutorial Last Updated:
-
The GNU Ada compiler Last Updated:
-
Wikibook Ada Programming Last Updated:
-
cmake-cc65 CMake for CC65 Last Updated:
-
vim-ada Last Updated:
-
vim-asm_ca65 This repository provides a Vim language support the ca65 assembly Last Updated:
-
vim-fx602p This is a syntax bundle for the FX-602P series of pocket calculators. Last Updated:
-
vim-scripts Automatically exported from code.google.com/p/vim-scripts Last Updated:
- vimplugin Last Updated:
Skills
This is a list of skills that Martin Krischik possesses:
- User Interface
- Java Swing
- Ada
- Java
- Kotlin
