-
IMDEA Software
- Madrid
- https://software.imdea.org/~aliaksandr.hryzlou/
- https://orcid.org/0000-0001-6188-0417
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- ApacheConf
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dhall
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Forth
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Nix
- OCaml
- OpenEdge ABL
- PLSQL
- Perl
- Perl 6
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- UrWeb
- VCL
- VHDL
- Vim Script
- Vue
The fastest path to AI-powered full stack observability, even for lean teams.
open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software
Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.
CoreFreq : CPU monitoring and tuning software designed for the 64-bit processors.
The final version of the AI designed keyboard layout
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Sparser: Raw Filtering for Faster Analytics over Raw Data
A domain-specific-language and compiler for low-level bitstream processing.
Parallel Environment for optimal Lambda Calculus Reduction
Experimental JVM profiler for analyzing real-world memory allocations
This is a simple stack virtual machine to be a translation target for toy languages.