👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
- Troy, New York, USA
-
10:29
(UTC -04:00) - https://jamesoswald.dev
- https://orcid.org/0000-0003-1195-4793
- @Jozwaldus
- in/James-T-Oswald
Highlights
- Pro
Lists (7)
Sort Name ascending (A-Z)
AI Planning
Collection of Tools and Libraries I've used for AI Planning during my time at IBM and beyond29 repositories
Automated Theorem Proving
Automated Theorem Provers and Interactive Theorem Proving Stuff10 repositories
Cognitive Arch
1 repository
Jai
Stuff from the Jai Programming Language12 repositories
Lean ITP
Lean Interactive Theorem Proving Repos I like!25 repositories
Minecraft
All the MC and Modded MC repos ive stared25 repositories
Web Stuff
7 repositories
- All languages
- Assembly
- AutoHotkey
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Elixir
- Fortran
- GDScript
- GLSL
- Go
- HTML
- Haskell
- HolyC
- Isabelle
- Jai
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Mojo
- OCaml
- OpenEdge ABL
- PDDL
- PHP
- Perl
- PowerShell
- Prolog
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- VHDL
- Vue
- WebAssembly
- ZenScript
- Zig
Starred repositories
3
results
for forked starred repositories
Clear filter
ahmedqarmout2 / raylib-jai
Forked from kujukuju/raylib-jaiJai bindings for Raylib
GTNewHorizons / Applied-Energistics-2-Unofficial
Forked from xsun2001/Applied-Energistics-2-UnofficialUnofficial AE2 for 1.7.10 which is still supported,which is like the extraterrestrial technology.
opennars / NARS-GPT
Forked from patham9/NarsGPTGPT-based language channel for NARS (ONA)