Exploring
Senior Research Scientist @ NASA / NIA Formal Methods group | Founder of Keera Studios | Haskell software architect | Adventurer & Explorer | Public Speaker
-
NIA / @nasa LaRC
- Hampton, USA
- https://ti.arc.nasa.gov/nfm/
- @IvanPerezKeera
Block or Report
Block or report ivanperez-keera
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Copilot-Language/copilot Public
A stream-based runtime-verification framework for generating hard real-time C code.
810 contributions in the last year
Less
More
Contribution activity
January 2022
Created 66 commits in 3 repositories
Reviewed 1 pull request in 1 repository
Copilot-Language/copilot
1 pull request
Opened 18 issues in 3 repositories
Copilot-Language/copilot
10
closed
-
Remove deprecated module
copilot-language:Copilot -
Remove deprecated type
StructArg - Hide deprecated modules in copilot-c99
- Prevent modification of packages by hackage maintainers
- Release 3.7
-
Remove deprecated module
copilot-core:Copilot.Core.Type.Read -
Remove deprecated module
copilot-core:Copilot.Core.Type.Eq -
Remove deprecated module
copilot-core:Copilot.Core.Locals -
Deprecate
copilot-core:Copilot.Core.Type.Show.ShowWit -
copilot-core: Remove deprecatedshowWit
nasa/ogma
6
closed
1
open
- Release 1.0.1
- Implementation of ogma-extra:Data.ByteString.Extra.safeReadFile is aligned inconsistently
- Module declaration in ogma-core:Command.Result is aligned inconsistently
- Definition of ogma-core:Language.Trans.CStruct2CopilotStruct.buildCField is aligned inconsistently
- Definitions in ogma-core:Command.CFSApp are aligned inconsistently
- HLint suggests simplifications that don't make the code simpler
- ogma-cli: Main contains two "External imports" sections

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
