{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"casm-lang.pkg.flatpak","owner":"casm-lang","isFork":false,"description":"CASM FlatPak Linux Package Configuration","allTopics":["linux","package","x86-64","flatpak","casm"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:43:12.089Z"}},{"type":"Public","name":"casm-lang.pkg.docker","owner":"casm-lang","isFork":false,"description":"CASM Docker Package Configuration, deployed to","allTopics":["linux","docker","package","x86-64","casm"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:42:30.327Z"}},{"type":"Public","name":"casm-lang.pkg.archlinux","owner":"casm-lang","isFork":false,"description":"CASM Arch Linux Package Configuration, mirrored to","allTopics":["linux","package","aur","x86-64","pkgbuild","casm"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:41:44.357Z"}},{"type":"Public","name":"casm-lang.pkg.appimage","owner":"casm-lang","isFork":false,"description":"CASM AppImage Linux Package Configuration, deployed to","allTopics":["linux","package","x86-64","appimage","casm"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:40:56.744Z"}},{"type":"Public","name":"casm-lang.plugin.vscode","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Language Server Protocol Extension in VS Code","allTopics":["plugin","vscode","language-server-protocol","vscode-extension","casm"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:39:14.470Z"}},{"type":"Public","name":"casm-lang.plugin.tmbundle","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Syntax Highlighting in Sublime/TextMate","allTopics":["plugin","syntax-highlighting","sublime","textmate","tmbundle","casm"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:39:03.357Z"}},{"type":"Public","name":"casm-lang.plugin.monaco","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Language Server Protocol Extension in Monaco","allTopics":["plugin","language-server-protocol","monaco","casm","monaco-extension"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":11,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:38:44.549Z"}},{"type":"Public","name":"casm-lang.plugin.kate","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Syntax Highlighting in Kate/KDevelop","allTopics":["plugin","syntax-highlighting","kate","kdevelop","casm"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:38:31.255Z"}},{"type":"Public","name":"casm-lang.plugin.emacs","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Syntax Highlighting in Emacs","allTopics":["plugin","syntax-highlighting","emacs","casm"],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:38:19.017Z"}},{"type":"Public","name":"casmi","owner":"casm-lang","isFork":false,"description":"CASM Numeric and Symbolic Interpreter","allTopics":["application","interpreter","symbolic-execution","casm","numeric-execution"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:37:29.952Z"}},{"type":"Public","name":"casmf","owner":"casm-lang","isFork":false,"description":"CASM Source Code Format and Beautifier ","allTopics":["application","formatter","beautifier","casm"],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:37:24.753Z"}},{"type":"Public","name":"casmd","owner":"casm-lang","isFork":false,"description":"CASM Language Server/Service Daemon","allTopics":["daemon","language-server-protocol","language-service","casm"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:37:18.105Z"}},{"type":"Public","name":"casmc","owner":"casm-lang","isFork":false,"description":"CASM Optimizing Retargetable Compiler","allTopics":["application","compiler","optimized","casm","numeric-execution"],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:37:12.886Z"}},{"type":"Public","name":"libcasm-be","owner":"casm-lang","isFork":false,"description":"CASM Back-ends and Transformation Passes","allTopics":["library","backend","transformation","casm","model-to-model","passes","csel","model-to-text"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:35:39.148Z"}},{"type":"Public","name":"libcasm-fe","owner":"casm-lang","isFork":false,"description":"CASM Front-end, AST Representation, Parser, and Typechecker","allTopics":["library","frontend","symbol-table","type-inference","casm","abstract-syntax-tree"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:35:25.209Z"}},{"type":"Public","name":"libcasm-ir","owner":"casm-lang","isFork":false,"description":"CASM Intermediate Representation and Optimization Passes","allTopics":["library","analysis","optimization","transformation","intermediate-representation","casm","intermediate-language","passes"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:35:12.901Z"}},{"type":"Public","name":"libcasm-rt","owner":"casm-lang","isFork":false,"description":"CASM Run-Time Specification and Implementation","allTopics":["library","casm","run-time"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:35:05.613Z"}},{"type":"Public","name":"libcasm-tc","owner":"casm-lang","isFork":false,"description":"CASM Unit/Integration Test Cases and Example Applications","allTopics":["test-cases","library","examples","benchmarks","casm"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:35:00.780Z"}},{"type":"Public","name":"libcjel-be","owner":"casm-lang","isFork":false,"description":"CJEL Back-end and Transformation Passes","allTopics":["javascript","library","backend","vhdl","transformation","c-language","llvm-ir","passes","model-to-text","cjel"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:34:52.813Z"}},{"type":"Public","name":"libcjel-ir","owner":"casm-lang","isFork":false,"description":"CJEL Intermediate Representation and Optimization Passes","allTopics":["library","analysis","optimization","transformation","intermediate-representation","intermediate-language","passes","cjel"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:34:48.398Z"}},{"type":"Public","name":"libcjel-rt","owner":"casm-lang","isFork":false,"description":" CJEL Run-Time Implementation","allTopics":["library","run-time","cjel"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:34:41.157Z"}},{"type":"Public","name":"libtptp","owner":"casm-lang","isFork":false,"description":"Thousands of Problems for Theorem Provers Library","allTopics":["cpp11","automated","cpp-library","theorem","libtptp","proving"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:34:30.114Z"}},{"type":"Public","name":"libpass","owner":"casm-lang","isFork":false,"description":"Compiler Pass Infrastructure Facility","allTopics":["infrastructure","framework","interpreter","compiler","cpp11","pass","cpp-library","libpass"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T20:34:25.799Z"}},{"type":"Public","name":"casm-lang.container.linux","owner":"casm-lang","isFork":false,"description":"Linux C++ Build Environment","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T00:49:45.762Z"}},{"type":"Public","name":"casm-lang.plugin.atom","owner":"casm-lang","isFork":false,"description":"CASM Plug-in for Language Server Protocol Extension in Atom","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-01T22:50:39.785Z"}},{"type":"Public","name":"publication","owner":"casm-lang","isFork":false,"description":"CASM Publications","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-02T15:10:03.407Z"}},{"type":"Public","name":"casm-lang.logo","owner":"casm-lang","isFork":false,"description":"CASM Logo, Banner, Slogan and Corporate Design","allTopics":["banner","badge","icon","logo","casm","slogan","corporate-design"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-02T15:08:46.509Z"}},{"type":"Public","name":"casm-lang.container.windows","owner":"casm-lang","isFork":false,"description":"Windows C++ Build Environment","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-02T15:06:37.885Z"}},{"type":"Public","name":"libz3","owner":"casm-lang","isFork":true,"description":"The Z3 Theorem Prover","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1449,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-20T03:00:19.241Z"}},{"type":"Public","name":"libasmjit","owner":"casm-lang","isFork":true,"description":"Complete x86/x64 JIT and Remote Assembler for C++","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":486,"license":"zlib License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-25T02:59:41.971Z"}}],"repositoryCount":35,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}