#
Senior Frontend Developer
- China
-
04:35
(UTC +08:00) - https://septs.blog
- https://orcid.org/0009-0003-4471-2237
- @XSepts
- @[email protected]
Highlights
Lists (11)
Sort Name ascending (A-Z)
- All languages
- AGS Script
- ASL
- ASP
- ActionScript
- Ada
- Alloy
- AngelScript
- ApacheConf
- AppleScript
- Arc
- Arduino
- Assembly
- Astro
- Batchfile
- Bluespec
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- GLSL
- Gherkin
- Go
- Groff
- Groovy
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lasso
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- NSIS
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- Pug
- Puppet
- Python
- QML
- R
- Raku
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Smarty
- Stylus
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- Thrift
- TypeScript
- VBA
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic .NET
- Visual Basic 6.0
- Vue
- WebAssembly
- XSLT
- YARA
- Zig
Starred repositories
1
star
written in Alloy
Clear filter
Verification of the Reliable Data Transfer Protocol using the Alloy specification language